A construction of the projective modification for a closure-set of a presheaf
The completion of a Suslin tree is shown to be a consistent example of a Corson compact L-space when endowed with the coarse wedge topology. The example has the further properties of being zero-dimensional and monotonically normal.
A constructively valid counterpart to Bourbaki’s Fixpoint Lemma for chain-complete partially ordered sets is presented to obtain a condition for one closure system in a complete lattice to be stable under another closure operator of . This is then used to deal with coproducts and other aspects of frames.
For , we say that is quasi -compact, if for every there is such that , where is the Stone-Čech extension of . In this context, a space is countably compact iff is quasi -compact. If is quasi -compact and is either finite or countable discrete in , then all powers of are countably compact. Assuming , we give an example of a countable subset and a quasi -compact space whose square is not countably compact, and show that in a model of A. Blass and S. Shelah every quasi...
The Katětov ordering of two maximal almost disjoint (MAD) families and is defined as follows: We say that if there is a function such that for every . In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called -uniform if for every , we have that . We prove that CH implies that for every -uniform MAD family there is a -point of such that the set of all Rudin-Keisler predecessors of is dense in the...
We consider the question of when , where is the elementary submodel topology on X ∩ M, especially in the case when is compact.
We characterize the subsets of the Alexandroff duplicate which have a G-diagonal and the subsets which are M-spaces in the sense of Morita.