More countably compact, locally countable spaces (Q1108603)

From MaRDI portal
Revision as of 02:10, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
More countably compact, locally countable spaces
scientific article

    Statements

    More countably compact, locally countable spaces (English)
    0 references
    0 references
    0 references
    0 references
    1988
    0 references
    Following the paper of the author, \textit{Zs. Nagy} and \textit{W. Weiss} [Period. Math. Hung. 10, 193-206 (1979; Zbl 0418.54019)], a \(T_ 3\) space X is called good (splendid) if it is countably compact, locally countable (and \(\omega\)-fair). \(G(\kappa)\) (resp. \(S(\kappa)\)) denotes the statement that a good (resp. splendid) space X with \(| X| =\kappa\) exists. We prove here that (i) \(Con(ZF)\to Con(ZFC+MA+2^{\omega}\) is \(big+S(\kappa)\) holds unless \(\omega =cf(\kappa)<\kappa)\); (ii) a supercompact cardinal implies \(Con(ZFC+MA+2^{\omega}>\omega_{\omega +1}+\neg G(\omega_{\omega +1}))\); (iii) the ``Chang conjecture'' \((\omega_{\omega +1},\omega_{\omega})\to (\omega_ 1,\omega)\) implies \(\neg S(\kappa)\) for all \(\kappa \geq \omega_{\omega}\); (iv) if \({\mathcal P}\) adds \(\omega_ 1\) dominating reals to V iteratively then, in \(V^{{\mathcal P}}\), we have \(G(\lambda^{\omega})\) for all \(\lambda\).
    0 references
    good space
    0 references
    splendid space
    0 references
    ZF
    0 references
    ZFC
    0 references
    MA
    0 references
    \(2^{\omega }\)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references