A ballean is a set endowed with some family of balls in such a way that a ballean can be considered as an asymptotic counterpart of a uniform topological space. We introduce and study a new cardinal invariant of a ballean, the extraresolvability, which is an asymptotic reflection of the corresponding invariant of a topological space.
We answer several questions of V. Tkachuk [Fund. Math. 186 (2005)] by showing that ∙ there is a ZFC example of a first countable, 0-dimensional Hausdorff space with no point-countable π-base (in fact, the minimum order of a π-base of the space can be made arbitrarily large); ∙ if there is a κ-Suslin line then there is a first countable GO-space of cardinality κ⁺ in which the order of any π-base is at least κ; ∙ it is consistent to have a first countable,...
We prove two theorems that characterize tightness in certain products of fans in terms of families of integer-valued functions. We also define several notions of forcing that allow us to manipulate the structure of the set of functions from some cardinal θ to ω, and hence, the tightness of these products. These results give new constructions of first countable <θ-cwH spaces that are not ≤θ-cwH.
A topological space is KC when every compact set is closed and SC when every convergent sequence together with its limit is closed. We present a complete description of KC-closed, SC-closed and SC minimal spaces. We also discuss the behaviour of the finite derived set property in these classes.
Given a topological space ⟨X,T⟩ ∈ M, an elementary submodel of set theory, we define to be X ∩ M with topology generated by U ∩ M:U ∈ T ∩ M. We prove that if is homeomorphic to ℝ, then . The same holds for arbitrary locally compact uncountable separable metric spaces, but is independent of ZFC if “local compactness” is omitted.
R. A. Johnson showed that there is no translation-invariant Borel lifting for the measure algebra of ℝ/ℤ equipped with Haar measure, a result which was generalized by M. Talagrand to non-discrete locally compact abelian groups and by J. Kupka and K. Prikry to arbitrary non-discrete locally compact groups. In this paper we study analogs of these results for category algebras (the Borel σ-algebra modulo the ideal of first category sets) of topological groups. Our main results are for the class of...
We construct in Bell-Kunen’s model: (a) a group maximal topology on a countable infinite Boolean group of weight and (b) a countable irresolvable dense subspace of . In this model .
We consider the question of whether 𝒫(ω) is a subalgebra whenever it is a quotient of a Boolean algebra by a countably generated ideal. This question was raised privately by Murray Bell. We obtain two partial answers under the open coloring axiom. Topologically our first result is that if a zero-dimensional compact space has a zero-set mapping onto βℕ, then it has a regular closed zero-set mapping onto βℕ. The second result is that if the compact space has density at most ω₁, then it will map onto...
We prove that if there is a model of set-theory which contains no first countable, locally compact, scattered, countably paracompact space , whose Tychonoff square is a Dowker space, then there is an inner model which contains a measurable cardinal.
Arhangel’skii proved that if a first countable Hausdorff space is Lindelöf, then its cardinality is at most . Such a clean upper bound for Lindelöf spaces in the larger class of spaces whose points are has been more elusive. In this paper we continue the agenda started by the second author, [Topology Appl. 63 (1995)], of considering the cardinality problem for spaces satisfying stronger versions of the Lindelöf property. Infinite games and selection principles, especially the Rothberger property,...
We work towards establishing that if it is consistent that there is a supercompact cardinal then it is consistent that every locally compact perfectly normal space is paracompact. At a crucial step we use some still unpublished results announced by Todorcevic. Modulo this and the large cardinal, this answers a question of S. Watson. Modulo these same unpublished results, we also show that if it is consistent that there is a supercompact cardinal, it is consistent that every locally compact space...