BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alan Dow appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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.
We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable.
P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions.
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 show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$.
We show that the Continuum Hypothesis is consistent with all regular spaces of hereditarily countable $π$-character being C-closed. This gives us a model of ZFC in which the Continuum Hypothesis holds and compact Hausdorff spaces of countable tightness are sequential.
We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder.
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; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging omega_1-sequences is first-countable and, in addition, has many aleph_1-sized Lindelöf subspaces. As a corollary we find that in these models all compact Hausdorff spaces with a small diagonal are metrizable.
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 spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character.
We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line.
We prove that every continuum of weight aleph_1 is a continuous image of the Cech-Stone-remainder R^* of the real line. It follows that under CH the remainder of the half line [0,infty) is universal among the continua of weight c --- universal in the `mapping onto' sense. We complement this result by showing that 1) under MA every continuum of weight less than c is a continuous image of R^* 2) in the Cohen model the long segment of length omega_2+1 is not a continuous image of R^*, and 3) PFA implies that I_u is not a continuous image of R^*, whenever u is a c-saturated ultrafilter. We also show that a universal continuum can be gotten from a c-saturated ultrafilter on omega and that it is consistent that there is no universal continuum of weight c.
Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results established in the Cohen model can be deduced directly from the properties of betaN\N or P(N)/fin that feature in Steprans' result.