Paracompactness in box products
A combinatorial statement concerning ideals of countable subsets of ω is introduced and proved to be consistent with the Continuum Hypothesis. This statement implies the Suslin Hypothesis, that all (ω, ω*)-gaps are Hausdorff, and that every coherent sequence on ω either almost includes or is orthogonal to some uncountable subset of ω.
We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first-countable, 0-dimensional, Hausdorff space of size and weight which admits a point countable base without a partition to two bases.
It is a classical result of Shapirovsky that any compact space of countable tightness has a point-countable π-base. We look at general spaces with point-countable π-bases and prove, in particular, that, under the Continuum Hypothesis, any Lindelöf first countable space has a point-countable π-base. We also analyze when the function space has a point-countable π -base, giving a criterion for this in terms of the topology of X when l*(X) = ω. Dealing with point-countable π-bases makes it possible...
Let be a continuous map such as an open map, a closed map or a quotient map. We study under what circumstances remains an open, closed or quotient map in forcing extensions.
The stability of the Lindelöf property under the formation of products and of sums is investigated in ZF (= Zermelo-Fraenkel set theory without AC, the axiom of choice). It is • not surprising that countable summability of the Lindelöf property requires some weak choice principle, • highly surprising, however, that productivity of the Lindelöf property is guaranteed by a drastic failure of AC, • amusing that finite summability of the Lindelöf property takes place if either some weak choice principle...
Generalizations of earlier negative results on Property are proved and two questions on an -version of Jones’ Lemma are posed. We discuss these questions in the realm of locally compact spaces. Using dominating families of functions as a tool, we prove that under the assumptions “ is regular” and “” the existence of a separable locally compact -space with an uncountable closed discrete subset implies the existence of inner models with measurable cardinals. We also use cardinal invariants...
In answer to a question of M. Reed, E. van Douwen and M. Wage [vDW79] constructed an example of a Moore space which had property D but was not pseudonormal. Their construction used the Martin’s Axiom type principle . We show that there is no such space in the usual Cohen model of the failure of CH.