On the cardinality of Lindelöf spaces with points \(G_ \delta\)
type: Item
instance of: scholarly article
title: On the cardinality of Lindelöf spaces with points \(G_ \delta\)
zbMATH Open document ID: 0824.54015
DOI: 10.1016/0166-8641(95)90002-0
author: Franklin D. Tall
published in: Topology and its Applications
publication date: 1995-11-13T00:00:00Z
review text: The history of this important topic is of course quite well-known among general topologists. Alexandrov asked if Lindelöf first countable Hausdorff spaces have cardinality at most the continuum. Arkhangel'skij established that they did and then asked if ``first countable'' could be weakened to ``points \(G_ \delta\)''. Shelah proved that, consistently, it could not by producing a model in which there is a Lindelöf space with points \(G_ \delta\) which has cardinality \(\aleph_ 2 = 2^{\aleph_ 1} > 2^{\aleph_ 0} = \aleph_ 1\). Shelah also showed that there is a model in which there is no such space with cardinality strictly between \(\aleph_ 1\) and \(2^{\aleph_ 1} > \aleph_ 2\). A great deal of interest remains in obtaining more precise information on the cardinalities of such spaces. For example it is not known if there is always such a space with cardinality greater than \(2^{\aleph_ 0}\) or even if there is always one of cardinality equal to \(2^{\aleph_ 1}\) (Arkhangel'skij showed that any measurable cardinal is an upper bound to the cardinality of such spaces). The author modifies the problem to a purely set-theoretic statement by dropping the restriction that the spaces be Hausdorff or regular. Based on Shelah's techniques he points out the need to investigate indestructible Lindelöf spaces -- those which remain Lindelöf after forcing with any countably closed poset. There is no ZFC example of a Lindelöf space with points \(G_ \delta\) which is destructible. This paper discusses all the known results on this topic. Certain spaces (old and new) are shown to be indestructibly Lindelöf and other results put a lower bound on the cardinality of a Hausdorff example \((2^{\aleph_ 2})\). It is also shown that if there is a supercompact cardinal, then there is a model in which there is no indestructible Lindelöf points \(G_ \delta T_ 1\) space with cardinality greater than \(\aleph_ 1\).
reviewed by: Alan Dow
Mathematics Subject Classification ID: 54D20
Mathematics Subject Classification ID: 54A35
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 762114
zbMATH Keywords: forcing preservation
zbMATH Keywords: indestructible Lindelöf points \(G_ \delta T_ 1\) space
MaRDI profile type: MaRDI publication profile
full work available at URL: 0166-8641(95)90002-0
OpenAlex ID: W2030752838
cites work: Q5585136
cites work: STRUCTURE AND CLASSIFICATION OF TOPOLOGICAL SPACES AND CARDINAL INVARIANTS
cites work: Q3684795
cites work: On the Cardinality of a Topological Space
cites work: Q3782407
cites work: Q3472092
cites work: New proofs of the consistency of the normal Moore space conjecture. I
cites work: The Baire Category and Forcing Large Lindelof Spaces with Points G δ
cites work: Q3938195
cites work: Q5185668
cites work: Omitting the cardinality of the continuum in scattered spaces
cites work: Q4159049
cites work: Set theory. An introduction to independence proofs
cites work: Aronszajn trees and the independence of the transfer property
cites work: Q4080379
cites work: Q4064169
cites work: S-forcing. I: a ''black-box'' theorem for morasses, with applications to super-Souslin trees
cites work: Extending ideals
cites work: Morasses, diamond, and forcing
Recommended article: The Baire Category and Forcing Large Lindelof Spaces with Points G δ
Recommended article: Large regular Lindelöf spaces with points \(G_\delta \)
Recommended article: Measurable cardinals and the cardinality of Lindelöf spaces
Recommended article: A new Lindelöf space with points \(G_\delta \).
Recommended article: Lindelöf spaces with small pseudocharacter and an analog of Borel's conjecture for subsets of \([0,1]^{\aleph_1}\)
description: scientific article; zbMATH DE number 762114