Franklin D. Tall

Countable Tightness and the Grothendieck Property in $C_p$ -Theory

The Grothendieck property has become important in research on the definability of pathological Banach spaces [CI], [HT], and especially [HT20]. We here answer a question of Arhangel'ski\uı by proving it undecidable whether countably tight spaces with Lindelöf finite powers are Grothendieck. We answer another of his questions by proving that $\mathrm{PFA}$ implies Lindelöf countably tight spaces are Grothendieck. We also prove that various other consequences of $\mathrm{MA}_{ω_1}$ and $\mathrm{PFA}$ considered by Arhangel'ski\uı, Okunev, and Reznichenko are not theorems of $\mathrm{ZFC}$ .

Model Theory for $C_p$ -theorists

We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$ -theory which have applications to a classification problem involving Banach spaces not including $c_0$ or $l^p$ , following recent results obtained by P. Casazza and J. Iovino for compact continuous logics. Using $C_p$ -theoretic results involving Grothendieck spaces and double limit conditions, we extend their results to a broader family of logics, namely those with a first countable weakly Grothendieck space of types. We pose $C_p$ -theoretic problems which have model-theoretic implications.

Pseudocompactness and the Uniform Metastability Principle in Model Theory

We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo, Duenez and Iovino on uniform metastability and countable compactness for logics.

The Strength of Menger's Conjecture

Menger conjectured that subsets of R with the Menger property must be $σ$ -compact. While this is false when there is no restriction on the subsets of R, for projective subsets it is known to follow from the Axiom of Projective Determinacy, which has considerable large cardinal consistency strength. We note that in fact, Menger's conjecture for projective sets has consistency strength of only an inaccessible cardinal.

Definable versions of Menger's conjecture

Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces are /sigma-compact, but Menger continuous images of co-analytic spaces need not be. The general co-analytic case is still open, but many special cases are undecidable, in particular, Menger topological groups. We also prove that if there is a Michael space, then productively Lindelof Cech-complete spaces are /sigma-compact. We also give numerous characterizations of proper K-Lusin spaces. Our methods include the Axiom of Co-analytic Determinacy, non-metrizable descriptive set theory, and Arhangel'skii's work on generalized metric spaces.

Hereditarily normal manifolds of dimension > 1 may all be 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.

On the definability of Menger spaces which are not /sigma-compact

Hurewicz proved completely metrizable Menger spaces are /sigma-compact. We extend this to Cech-complete Menger spaces and consistently to projective Menger metrizable spaces. On the other hand, it is consistent that there is a co-analytic Menger space that is not /sigma-compact.

PFA(S)[S] and countably compact spaces

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".

PFA(S)[S] for the masses

We present S. Todorcevic's method of forcing with a coherent Souslin tree over restricted iteration axioms as a black box usable by those who wish to avoid its complexities but still access its power.

preprint2015arXiv

Some observations on the Baireness of C_k(X) for a locally compact space X

We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.

preprint2014arXiv

Indestructibility of compact spaces

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $ω_1$ -sequences of the selection principle and topological game versions of the Rothberger property are not equivalent, even for compact spaces. We also show that Tall and Usuba's " $\aleph_1$ -Borel Conjecture" is equiconsistent with the existence of an inaccessible cardinal.

preprint2012arXiv

Productively Lindelof and Indestructibly Lindelof Spaces

There has recently been considerable interest in productively Lindelof spaces, i.e. spaces such that their product with every Lindelof space is Lindelof. Here we make several related remarks about such spaces. Indestructible Lindelof spaces, i.e. spaces that remain Lindelof in every countably closed forcing extension, were introduced by Tall in 1995. Their connection with topological games and selection principles was explored by Scheepers and Tall in 2010. We find further connections here.

Lindelof spaces which are indestructible, productive, or D

We discuss relationships in Lindelof spaces among the properties "indestructible", "productive", "D", and related properties.

On productively Lindelöf spaces

The class of spaces such that their product with every Lindelöf space is Lindelöf is not well-understood. We prove a number of new results concerning such productively Lindelöf spaces with some extra property, mainly assuming the Continuum Hypothesis.

On the hereditary paracompactness of locally compact, hereditarily normal spaces

We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of omega_1 is hereditarily paracompact.

PFA(S)[S] and Locally Compact Normal Spaces

We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of omega_1 and in which all separable closed subspaces are Lindelof.

PFA(S)[S] and the Arhangel'skii-Tall problem

We discuss the Arhangel'skii-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.

Productively Lindelof spaces may all be D

We give easy proofs that a) the Continuum Hypothesis implies that if the product of X with every Lindelof space is Lindelof, then X is a D-space, and b) Borel's Conjecture implies every Rothberger space is Hurewicz.