Add to ORKGThis article is an investigation of a recently developed method of deriving a topology from a space and an elementary submodel containing it. We first define and give the basic properties of this construction, known as X/M. In the next section, we construct some examples and analyse the topological relationship between X and X/M. In the final section, we apply X/M to get novel results about Lindelof spaces, giving partial answers to a question of F.D. Tall and another question of Tall and M. Scheepers.MAS
AbstractThe principle CH∗ concerning elementary submodels is formulated and is shown to be valid in ...
AbstractA space X is said to be Lindelöf in a space Z if every open cover of Z has a countable subco...
In this paper, we have the principal goal is to study a topography property of important algebraic c...
AbstractGiven a topological space 〈 X,T〉, we take an elementary submodel M of a sufficiently large i...
AbstractThe standard construction of quotient spaces in topology uses full separation and power sets...
Summary.We continue Mizar formalization of general topology according to the book [16] by Engelking....
Every topological space has a Kolmogorov quotient that is obtained by identifying points if they ar...
Let be a topological space , we say that is iff every Lindelof subspace of is closed in. In th...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
We give a construction of coequalisers in formal topology, a predicative version of locale theory. T...
A topological space X is called productively Lindelof if X x Y is Lindelof for every Lindelof space ...
Abstract. We study conditions on a topological space that guarantee that its product with every Lind...
In this paper we study the connections among finite topological spaces, FD-relations (or databases) ...
This work develops two distinct topics. We first work with partitions on topological spaces, develop...
In Abstract Stone Duality the topology on a space X is treated, not as an infinitary lattice, but as...
AbstractThe principle CH∗ concerning elementary submodels is formulated and is shown to be valid in ...
AbstractA space X is said to be Lindelöf in a space Z if every open cover of Z has a countable subco...
In this paper, we have the principal goal is to study a topography property of important algebraic c...
AbstractGiven a topological space 〈 X,T〉, we take an elementary submodel M of a sufficiently large i...
AbstractThe standard construction of quotient spaces in topology uses full separation and power sets...
Summary.We continue Mizar formalization of general topology according to the book [16] by Engelking....
Every topological space has a Kolmogorov quotient that is obtained by identifying points if they ar...
Let be a topological space , we say that is iff every Lindelof subspace of is closed in. In th...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
We give a construction of coequalisers in formal topology, a predicative version of locale theory. T...
A topological space X is called productively Lindelof if X x Y is Lindelof for every Lindelof space ...
Abstract. We study conditions on a topological space that guarantee that its product with every Lind...
In this paper we study the connections among finite topological spaces, FD-relations (or databases) ...
This work develops two distinct topics. We first work with partitions on topological spaces, develop...
In Abstract Stone Duality the topology on a space X is treated, not as an infinitary lattice, but as...
AbstractThe principle CH∗ concerning elementary submodels is formulated and is shown to be valid in ...
AbstractA space X is said to be Lindelöf in a space Z if every open cover of Z has a countable subco...
In this paper, we have the principal goal is to study a topography property of important algebraic c...