Related papers: Weight, net weight, and elementary submodels
Hart and Kunen, and independently in the recent preprint arXiv:2304.13113, R\'ios-Herrej\'on defined and studied the class $C({\omega}_1)$ of topological spaces $X$ having the property that for every neighborhood assignment $\{U(y) : y \in…
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We…
We investigate connections between resolvability and different forms of tightness. This study is adjacent to [1,2]. We construct a non-regular refinement $\tau^*$ of the natural topology of the real line $\mathbb{R}$ with properties such…
The topological reconstruction problem asks how much information about a topological space can be recovered from its point-complement subspaces. If the whole space can be recovered in this way, it is called reconstructible. Our main result…
The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = \omega$ we have $|X| \le w(X)^\omega$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior…
We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a…
In this note we prove that a regular continuous open image of the Sorgenfrey line with an uncountable weight has a closed subspace that is homeomorphic to the Sorgenfrey line. As a corollary we deduce the theorem in the title.
We prove that for any topological space $X$ of countable tightness, each \sigma-convex subspace $\F$ of the space $SC_p(X)$ of scatteredly continuous real-valued functions on $X$ has network weight $nw(\F)\le nw(X)$. This implies that for a…
We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$.…
Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…
We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…
In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1,…
We introduce the notion of weighted singular vectors and weighted uniform exponent with respect to a set of weights. We prove invariance of these exponents for affine subspaces and submanifolds inside those affine subspaces. For certain…
Given a Banach space we consider the $\sigma$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the…
It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…
We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…
We formulate several conditions (two of them are necessary and sufficient) which imply that a space of small character has large weight. In section 3 we construct a ZFC example of a first countable 0-dimensional space X of size 2^omega with…
It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…
A subset $A$ of a topological space $X$ is called relatively functionally countable (RFC) in $X$, if for each continuous function $f : X \to \mathbb{R}$ the set $f[A]$ is countable. We prove that all RFC subsets of a product…