Semitopological properties
The general question of when a countably compact topological space is sequentially compact, or has a nontrivial convergent sequence, is studied from the viewpoint of basic cardinal invariants and small uncountable cardinals. It is shown that the small uncountable cardinal 𝔥 is both the least cardinality and the least net weight of a countably compact space that is not sequentially compact, and that it is also the least hereditary Lindelöf degree in most published models. Similar results, some definitive,...
Let be a cardinal number with the usual order topology. We prove that all subspaces of are weakly sequentially complete and, as a corollary, all subspaces of are sequentially complete. Moreover we show that a subspace of need not be sequentially complete, but note that is sequentially complete whenever and are subspaces of .
I discuss the number of iterations of the elementary sequential closure operation required to achieve the full sequential closure of a set in spaces of the form .
We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novák sequential envelope to such algebras.
A space X is sequentially separable if there is a countable D ⊂ X such that every point of X is the limit of a sequence of points from D. Neither “sequential + separable” nor “sequentially separable” implies the other. Some examples of this are presented and some conditions under which one of the two implies the other are discussed. A selective version of sequential separability is also considered.