Ascoli's theorem in almost quiet quasi-uniform space.
Ganguly, S., Sen, R. (2007)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Displaying similar documents to “On quasi-p-bounded subsets”
Ascoli's theorem in almost quiet quasi-uniform space.
Oscillations, quasi-oscillations and joint continuity.
Mirmostafaee, A.K. (2010)
Annals of Functional Analysis (AFA) [electronic only]
Similarity:
Bohr Cluster Points of Sidon Sets
L. Ramsey (1995)
Colloquium Mathematicae
Similarity:
It is a long standing open problem whether Sidon subsets of ℤ can be dense in the Bohr compactification of ℤ ([LR]). Yitzhak Katznelson came closest to resolving the issue with a random process in which almost all sets were Sidon and and almost all sets failed to be dense in the Bohr compactification [K]. This note, which does not resolve this open problem, supplies additional evidence that the problem is delicate: it is proved here that if one has a Sidon set which clusters at even...
On quasi -open and quasi -closed functions.
Rajesh, N., E.Ekici (2008)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Mixed intersections of non quasi-analytic classes.
Jean Schmets, Manuel Valdivia (2008)
RACSAM
Similarity:
Spaces in which all prime -ideals of are minimal or maximal
Melvin Henriksen, Jorge Martinez, Grant R. Woods (2003)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Quasi -spaces are defined to be those Tychonoff spaces such that each prime -ideal of is either minimal or maximal. This article is devoted to a systematic study of these spaces, which are an obvious generalization of -spaces. The compact quasi -spaces are characterized as the compact spaces which are scattered and of Cantor-Bendixson index no greater than 2. A thorough account of locally compact quasi -spaces is given. If is a cozero-complemented space and every nowhere dense...
Towards the Construction of a Model of Mizar Concepts
Grzegorz Bancerek (2008)
Formalized Mathematics
Similarity:
The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [14] and [13]. The theory here presented is an abstract of the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The base idea behind the formalization is dependence on variables which is determined by variable-dependence (variables may depend on other variables). The dependence constitutes a Galois connection between opposite poset...