Related papers: $\mathsf{PFA}$ and $\omega_1$-free compact spaces

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…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

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 use topological consequences of PFA, MA$_{\omega_1}$(S)[S] and PFA(S)[S] proved by other authors to show that normal first countable linearly H-closed spaces with various additionals properties are compact in these models.

In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $\omega_1<\mathfrak{b}$, any compact space with an $\omega^\omega$-base is first-countable…

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…

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…

We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models;…

Given a property $P$ of subspaces of a $T_1$ space $X$, we say that $X$ is {\em $P$-bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$. Here we study $P$-bounded spaces for the properties $P \in \{\omega D,…

In this paper we compare the concepts of pseudoradial spaces and the recently defined strongly pseudoradial spaces in the realm of compact spaces. We show that $\mathrm{MA}+\mathfrak{c}=\omega_2$ implies that there is a compact pseudoradial…

We first introduce and study two new classes of subsets in $T_0$ spaces - $\omega$-Rudin sets and $\omega$-well-filtered determined sets lying between the class of all closures of countable directed subsets and that of irreducible closed…

We answer several questions of V. Tka\v{c}uk from [Point-countable $\pi$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that (1) there is a ZFC example of a first countable, 0-dimensional…

A topological space $X$ is $\mathbb R^{\omega_1}$-factorizable if any continuous function $f\colon X\to \mathbb R^{\omega_1}$ factors through a continuous function from $X$ to a second-countable space. It is shown that a Tychonoff space $X$…

This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof…

Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional,Frechet-Uryson, initially omega_1-compact and non-compact space X of size omega_2 having the following property: for every open (or closed) set A in X we have…

We study (strong) first countability of locally solid convergence structures on Archimedean vector lattices. Among other results, we characterise those vector lattices for which relatively unform-, order-, and $\sigma$-order convergence,…

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inner. As a means of the proof we introduce the notion of Polish…