BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Alan Dow contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a counterexample to the Category Dichotomy in the framework of $\textsf{ZFC}$. That is, we prove the existence of an ideal on $ω$ that is not Katě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ětov-Blass above $\mathcal{ED}_{\mathsf{fin}}$ and that it is consistent that every $\mathsf{Q}^{+}$ ideal is meager.
We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded.
We prove that it is consistent with $\mathfrak c>\aleph_2$ that all automorphisms of $\mathcal P(ω)/\mbox{fin}$ are trivial.
The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets following \cite{BlassShelah}.
We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum.
The main result of this paper is that, under PFA, for every {\em regular} space $X$ with $F(X) = ω$ we have $|X| \le w(X)^ω$; in particular, $w(X) \le \mathfrak{c}$ implies $|X| \le \mathfrak{c}$. This complements numerous prior results that yield consistent examples of even compact Hausdorff spaces $X$ with $F(X) = ω$ such that $w(X) = \mathfrak{c}$ and $|X| = 2^\mathfrak{c}$. We also show that regularity cannot be weakened to Hausdorff in this result because we can find in ZFC a Hausdorff space $X$ with $F(X) = ω$ such that $w(X) = \mathfrak{c}$ and $|X| = 2^\mathfrak{c}$. In fact, this space $X$ has the {\em strongly anti-Urysohn} (SAU) property that any two infinite closed sets in $X$ intersect, which is much stronger than $F(X) = ω$. Moreover, any non-empty open set in $X$ also has size $2^\mathfrak{c}$, and thus answers one of the main problems of \cite{JShSSz} by providing in ZFC a SAU space with no isolated points.
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence.
We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional.
We give a partial solution to a question by Alas, Junqueria and Wilson by proving that under PFA the one-point compactification of a locally compact, discretely generated and countably tight space is also discretely generated. After this, we study the cardinal number given by the smallest possible character of remote and far sets of separable metrizable spaces. Finally, we prove that in some cases a countable space has far points.