Abstract
It is shown to be consistent that countable, Fréchet,α 1-spaces are first countable. The result is obtained by using a countable support iteration of proper partial orders of lengthω 2.
Similar content being viewed by others
References
Arhangel'skii, A.V.: The frequency spectrum of a topological space and the classification of spaces. Sov. Math. Dokl.13, 265–268 (1972)
Arhangel'skii, A.V.: Classes of topological groups. Russ. Math. Surv.36, 151–174 (1981)
Arhangel'skii, A.V.: The frequency spectrum of a topological space and the product operation. Trans. Mosc. Math. Soc.2, 163–200 (1981)
Baumgartner, J.: Iterated forcing. In: Mathias, A.D.R. (ed.) Surveys in set theory (Cambridge) Lond. Math. Soc. Lect. Note Ser., vol. 87, pp. 1–59. Cambridge: Cambridge University Press 1983
Blass, A.: Applications of superperfect forcing and its relatives. In: Steprāns, J., Watson, S., (eds.) Set theory and its applications. Lect. Notes Math., vol. 1401 pp. 18–40. Berlin Heidelberg New York: Springer 1989
Dow, A. Two classes of Fréchet-Urysohn spaces. Proc. Amer. Math. Soc.108, 241–247 (1990)
Dow, A., Steprāns, J.: A model in which Fréchetα 1 are first countable. Math. Proc. Cambridge Philos. Soc.105, 473–480 (1989)
Miller, A.: Rational perfect set forcing. In: Martin, D.A., Baumgartner, J., Shelah, S. (eds.) Axiomatic set theory (Providence). Contemp. Math., vol. 31, pp. 143–159. American Mathematical Society: Providence 1984
Nyikos, P.:ω ω and the Fréchet-Urysohn andα 1-properties (1900) (preprint)
Nyikos, P.: Metrizability and the Fréchet-Urysohn property in topological groups. Proc. Am. Math. Soc.83, 793–801 (1981)
Shelah, S.: Proper forcing. Lect. Notes Math. 940, Berlin Heidelberg New York: Springer 1982
Shelah, S.: On cardinal invariants of the continuum. In: Martin, D.A., Baumgartner, J., Shelah, S. (eds.) Axiomatic set theory (Providence). Contemp. Math., vol. 31, pp. 183–207. American Mathematical Society: Providence 1984
Author information
Authors and Affiliations
Additional information
The research of both authors is partially supported by NSERC