Rapid ultrafilter need not be Q-point
We say that a cardinal function reflects an infinite cardinal , if given a topological space with , there exists with . We investigate some problems, discussed by Hodel and Vaughan in Reflection theorems for cardinal functions, Topology Appl. 100 (2000), 47–66, and Juhász in Cardinal functions and reflection, Topology Atlas Preprint no. 445, 2000, related to the reflection for the cardinal functions character and pseudocharacter. Among other results, we present some new equivalences with...
We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging ω-sequence or a non-trivial converging ω₁-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging ω₁-sequences is first-countable and, in addition,...
Given a topological property P, we study when it reflects in small continuous images, i.e., when for some infinite cardinal κ, a space X has P if and only if all its continuous images of weight less or equal to κ have P. We say that a cardinal invariant η reflects in continuous images of weight κ + if η(X) ≤ κ provided that η(Y) ≤ κ whenever Y is a continuous image of X of weight less or equal to κ +. We establish that, for any infinite cardinal κ, the spread, character, pseudocharacter and Souslin...
We improve some results of Pavlov and Filatova, concerning a problem of Malykhin, by showing that every regular space X that satisfies Δ(X) > e(X) is ω-resolvable. Here Δ(X), the dispersion character of X, is the smallest size of a non-empty open set in X, and e(X), the extent of X, is the supremum of the sizes of all closed-and-discrete subsets of X. In particular, regular Lindelöf spaces of uncountable dispersion character are ω-resolvable. We also prove that any regular...
We continue the study of remainders of metrizable spaces, expanding and applying results obtained in [Fund. Math. 215 (2011)]. Some new facts are established. In particular, the closure of any countable subset in the remainder of a metrizable space is a Lindelöf p-space. Hence, if a remainder of a metrizable space is separable, then this remainder is a Lindelöf p-space. If the density of a remainder Y of a metrizable space does not exceed , then Y is a Lindelöf Σ-space. We also show that many of...
We extend the Noble and Ulmer theorem and the Juhász and Hajnal theorems in set-theoretic topology. We show that a statement analogous to that in the former theorem is valid for a family of almost topological convergences, whereas statements analogous to those in the latter theorems hold for a pretopologically Hausdorff convergence.
Let be a topological property. A space is said to be star if whenever is an open cover of , there exists a subspace with property such that , where In this paper, we study the relationships of star properties for in pseudocompact spaces by giving some examples.
We provide a further estimate on the cardinality of a power homogeneous space. In particular we show the consistency of the formula for any regular power homogeneous ccc space.
Partitioner algebras are defined in [2] and are natural tools for studying the properties of maximal almost disjoint families of subsets of ω. In this paper we investigate which free algebras can be represented as partitioner algebras or as subalgebras of partitioner algebras. In so doing we answer a question raised in [2] by showing that the free algebra with generators is represented. It was shown in [2] that it is consistent that the free Boolean algebra of size continuum is not a subalgebra...
Every crowded space is -resolvable in the c.c.c. generic extension of the ground model. We investigate what we can say about -resolvability in c.c.c. generic extensions for . A topological space is monotonically -resolvable if there is a function such that for each . We show that given a space the following statements are equivalent: (1) is -resolvable in some c.c.c. generic extension; (2) is monotonically -resolvable; (3) is -resolvable in the Cohen-generic extension ....