South Carolina

The talk will focus on five items:

Theorem 1. It is ZFC-independent whether every locally compact, $\omega_1$-compact space of cardinality $\aleph_1$  is the union of countably many countably compact spaces.

Problem 1. Is it consistent that every locally compact, $\omega_1$-compact space of cardinality $\aleph_2$  is the union of countably many countably compact spaces?

[`$\omega_1$-compact' means that every closed discrete subspace is countable. This is obviously implied by being the union of countably many countably compact spaces, but the converse is not true.]

Problem 2. Is ZFC enough to imply that there is  a normal, locally countable, countably compact space of cardinality greater than $\aleph_1$?

Problem 3. Is it consistent that there exists a normal, locally countable, countably compact space of cardinality greater than $\aleph_2$?

The spaces involved in Problem 2 and Problem 3 are automatically locally compact, because by "space" I mean "Hausdorff space" and so regularity is already enough to give every point a countable countably compact (hence compact) neighborhood.

Theorem 2. The axiom $\square_{\aleph_1}$ implies that there is a normal, locally countable, countably compact space of cardinality $\aleph_2$.

This may be the first application of $\square_{\aleph_1}$ to construct a topological space whose existence in ZFC is unknown.

ABSTRACT: A space of countable extent, also called an omega_1-compact space, is one in which every closed discrete subspace is countable.  The axiom used in the following theorem is consistent if it is consistent that there is a supercompact cardinal.

Theorem 1  The LCT axiom implies that every hereditarily normal, omega_1-compact space
is sigma-countably compact,  i.e., the union of countably many countably compact subspaces.

Even for the specialized subclass of monotonically normal spaces, this is only a consistency result:

Theorem 2   If club, then there exists a locally compact, omega_1-compact monotonically
normal space that is not sigma-countably compact.

These two results together are unusual in that most independence results on
monotonically normal spaces depend on whether Souslin's Hypothesis (SH) is true,
and do not involve large cardinal axioms. Here, it is not known whether either
SH or its negation affect either direction in this independence result.

The following unsolved problem is also discussed:

Problem  Is there a ZFC example of a locally compact, omega_1-compact space
of cardinality aleph_1 that is not sigma-countably compact?