Related papers: Wide scattered spaces and morasses

For any regular cardinal $\kappa$ and ordinal $\eta<\kappa^{++}$ it is consistent that $2^{\kappa}$ is as large as you wish, and every function $f:\eta \to [\kappa,2^{\kappa}]\cap Card$ with $f(\alpha)=\kappa$ for $cf(\alpha)<\kappa$ is the…

We show that (in ZFC) every infinite set S can be equipped with 2^|S| complete metrics which generate mutually non-homeomorphic scattered order topologies on S. Furthermore, we show that (in ZFC) every uncountable set S can be equipped with…

We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2^{aleph_0})^V many levels of size omega. We also give a complete ZFC characterization of…

We prove that if $\lambda$ is a fixed uncountable cardinal and $f = \langle \ka_{\al} : \al < \delta \rangle$ is a sequence of infinite cardinals where $\delta < \omega_3$ and $\ka_{\al}\in \{\om,\lambda\}$ for each $\al < \delta$ in such a…

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…

We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $\eta <…

A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection. We show that (i) there are 0-dimensional P_{<omega} spaces of size 2^omega,…

Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if…

We give full characterization of the sequences of regular cardinals that may arise as cardinal sequences of locally compact scattered spaces under GCH. The proofs are based on constructions of universal locally compact scattered spaces.

We study the class of first-countable Lindel\"of scattered spaces, or "FLS" spaces. While every $T_3$ FLS space is homeomorphic to a scattered subspace of $\mathbb Q$, the class of $T_2$ FLS spaces turns out to be surprisingly rich. Our…

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

We introduce a general method of constructing locally compact scattered spaces from certain families of sets and then, with the help of this method, we prove that if kappa^{<kappa}=kappa then there is such a space of height kappa^+ with…

We strengthen the property $\Delta$ of a function $f:[\omega_2]^2\rightarrow [\omega_2]^{\leq \omega}$ considered by Baumgartner and Shelah. This allows us to consider new types of amalgamations in the forcing used by Rabus, Juh\'asz and…

A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…

Let c=2^aleph0 denote the cardinality of the continuum and let a,b,k be infinite cardinal numbers with a<b\leq 2^a. We show that there exist precisely 2^b T0-spaces of size a and weight b up to homeomorphism. Among these non-homeomorphic…

We show that it is consistent relative to a huge cardinal that for all infinite cardinals $\kappa$, $\square_\kappa$ holds and there is a stationary $S \subseteq \kappa^+$ such that $\mathrm{NS}_{\kappa^+} \restriction S$ is…

We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of "every locally compact, perfectly normal space is paracompact".

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…

The main result of this paper is the proof of the simultaneous consistency, modulo a weakly compact cardinal, of the equality $2^{< \mathfrak{c}} = \mathfrak{c}$ with the following property (*) of partitions of pairs of $\mathfrak{c}$:…

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…