arXiv Science⌕ Search

arXiv subjects

Alan Dow

Publications and source records attributed to Alan Dow.

At least 19 recordsLinked to original sources
arXiv2026

Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models

We show that if $\kappa < \aleph_\omega$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from $\mathsf{SCH}$ plus $\square_\lambda$ for every $\lambda$ with $\mathrm{cf}(\lambda) = \omega$), we prove the same result for cardinals $\kappa \geq \aleph_\omega$ as well. This extends a result a Shelah and Stepr\={a}ns, who proved the result for $\kappa = \aleph_2$.

math.LO↗
arXiv2026

A parametrized $\diamondsuit$ for the Laver property and nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$

We introduce a new parametrized diamond principle denoted $\diamondsuit(\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hru\v{s}\'ak, and D\v{z}amonja, each of which corresponds to some cardinal invariant of the continuum, and gives a $\diamondsuit$-like guessing principle implying the corresponding invariant is $\aleph_1$. Our principle $\diamondsuit(\mathsf{LP})$ is a $\diamondsuit$-like guessing principle implying the Laver property holds over a given inner model, such as the ground model in a forcing extension. We show $\diamondsuit(\mathsf{LP})$ holds in many familiar models of $\mathsf{ZFC}$ obtained by forcing, namely those obtained from a model of $\mathsf{CH}$ by a length-$\omega_2$ countable support iteration of proper Borel posets with the Laver property. This is true for essentially the same reason that the usual parametrized diamonds hold in similarly described forcing extensions where their corresponding cardinal invariant is $\aleph_1$. We also prove that if $\diamondsuit(\mathsf{LP})$ holds over an inner model of $\mathsf{CH}$ then there are nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$; in fact we get particularly nice automorphisms extending nontrivial involutions built around $P$-points in the ground model. Additionally, we show that, like the Sacks model, all automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ are somewhere trivial in the Mathias model. This puts a limitation on the kinds of automorphisms obtainable from $\diamondsuit(\mathsf{LP})$.

math.GN↗
arXiv2025

All spaces of countable spread can be small

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}$: \smallskip (*) For any coloring (or partition) $k : [\mathfrak{c}]^2 \rightarrow 2$ either there is a homogeneous set of size $\mathfrak{c}$ in color $0$ or there is a set $S \in [\mathfrak{c}]^\mathfrak{c}$ such that for every countable $A \subset S$ there is $\beta \in \mathfrak{c}$ for which $A \subset \beta$ and $k(\{\alpha, \beta\}) = 1$ for all $\alpha \in A$. \smallskip (*) plus $2^{< \mathfrak{c}} = \mathfrak{c}$ together then imply that for every topological space $X$ of countable spread, i.e. not containing any uncountable discrete subset, $|X| \le \mathfrak{c}$ if it is Hausdorff and $o(X) = \mathfrak c$ if it is also infinite and regular. Here $o(X)$ denotes the number of all open subsets of $X$.

math.GN↗
arXiv2025

Some results on the $\pi$-weight of countable Fr\'echet-Urysohn spaces

The $\pi$-weight spectrum for countable regular Fr\'echet-Urysohn spaces is the set of uncountable cardinals that are equal to the $\pi$-weight for some such space. We determine this $\pi$-weight spectrum in the standard Miller rational perfect set model and in the Random real model.

math.LO↗
arXiv2025

New examples in the study of selectively separable spaces

The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable regular wH-separable spaces that are not H-separable. We prove there is a ZFC example. Their example was also Fr\'echet-Urysohn, and we produce two additional examples from weaker assumptions.

math.GN↗
arXiv2025

Sequentially compact separable spaces

We consider the following variation of the Scarborough-Stone problem: Is $X^\kappa$ always countably compact whenever $X$ is separable and sequentially compact?

math.GN↗
arXiv2025

Ultrafilters in the random real model

We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_{\omega}% $-many random reals to a model of \textsf{CH. }These results improve and correct previous theorems that can be found in the literature.

math.LO↗
arXiv2025

Not OCA and products of Frechet spaces

We continue the investigation of the question of whether the product of two countable Fr\'echet spaces must be M-separable. We are especially interested in this question in the presence of Martin's Axiom. The question has been shown to be independent of Martin's Axiom but only in models in which $\mathfrak c\leq\omega_2$. In fact, OCA implies an affirmative answer.

math.GN↗
arXiv2025

$\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$

Let $\mathbb{M} = \mathbb N \times [0,1]$. The natural projection $\pi: \mathbb{M} \rightarrow \mathbb N$, which sends $(n,x)$ to $n$, induces a projection mapping $\pi^*: \mathbb{M}^* \rightarrow \mathbb N^*$, where $\mathbb{M}^*$ and $\mathbb N^*$ denote the \v{C}ech-Stone remainders of $\mathbb{M}$ and $\mathbb N$, respectively. We show that $\mathsf{CH}$ implies every autohomeomorphism of $\mathbb N^*$ lifts through the natural projection to an autohomeomorphism of $\mathbb{M}^*$. That is, for every homeomorphism $h: \mathbb N^* \rightarrow \mathbb N^*$ there is a homeomorphism $H: \mathbb{M}^* \rightarrow \mathbb{M}^*$ such that $\pi^* \circ H = h \circ \pi^*$. This complements a recent result of the second author, who showed that this lifting property is not a consequence of $\mathsf{ZFC}$. Combining this lifting theorem with a recent result of the first author, we also prove that $\mathsf{CH}$ implies there is an order-reversing autohomeomorphism of~$\mathbb H^*$, the \v{C}ech-Stone remainder of the half line $\mathbb H = [0,\infty)$.

math.GN↗
arXiv2025

Weight, net weight, and elementary submodels

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(\omega_1)$ that has uncountable net weight. Then we prove that after adding any number of Cohen reals to a model of CH, in the extension every regular space in $C(\omega_1)$ has countable net weight. We prove in ZFC that for any regular topology of uncountable weight on $\omega_1$ there is a non-stationary subset that has uncountable weight as well. Moreover, if all final segments of $\omega_1$ have uncountable weight then the assumption of regularity can be dropped. By [6], the analogous statements for the net weight are independent from ZFC. Our proofs of all these results make essential use of elementary submodels.

math.LO↗
arXiv2025

The Category Dichotomy for Ideals

We provide a counterexample to the Category Dichotomy in the framework of $\textsf{ZFC}$. That is, we prove the existence of an ideal on $\omega$ that is not Kat\v{e}tov below $\mathsf{nwd}$ and does not have restrictions above $\mathcal{ED}$. We also prove that in the Laver model every tall $\mathsf{P}$-ideal is Kat\v{e}tov-Blass above $\mathcal{ED}_{\mathsf{fin}}$ and that it is consistent that every $\mathsf{Q}^{+}$ ideal is meager.

math.LO↗
arXiv2024

Autohomeomorphisms of pre-images of $\mathbb N^*$

In the study of the Stone-\u{C}ech remainder of the real line a detailed study of the Stone-\u{C}ech remainder of the space $\mathbb N\times [0,1]$, which we denote as $\mathbb M$, has often been utilized. Of course the real line can be covered by two closed sets that are each homeomorphic to $\mathbb M$. It is known that an autohomeomorphism of $\mathbb M^*$ induces an autohomeomorphism of $\mathbb N^*$. We prove that it is consistent with there being non-trivial autohomeomorphism of $\mathbb N^*$ that those induced by autohomeomorphisms of $\mathbb M^*$ are trivial.

math.GN↗
arXiv2024

Non-trivial copies of N*

We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial.

math.GN↗
arXiv2024

$C$-embedding, Lindel\"ofness, and \v{C}ech-completeness

We show that in the class of Lindel\"of \v{C}ech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindel\"of and \v{C}ech-complete, are needed in the product result.

math.GN↗
arXiv2023

On Roitman's principles $\mathsf{MH}$ and $\Delta$

The Model Hypothesis (abbreviated $\mathsf{MH}$) and $\Delta$ are set-theoretic axioms introduced by J. Roitman in her work on the box product problem. Answering some questions of Roitman and Williams on these two principles, we show (1) $\mathsf{MH}$ implies the existence of $P$-points in $\omega^*$ and is therefore not a theorem of $\mathsf{ZFC}$; (2) $\mathsf{MH}$ also fails in the side-by-side Sacks models; (3) as $\Delta$ holds in these models, this implies $\Delta$ is strictly stronger than $\mathsf{MH}$; (4) furthermore, $\Delta$ holds in a large class of forcing extensions in which it was not previously known to hold.

math.GN↗
arXiv2022

Some realcompact spaces

We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers.

math.GN↗