On sequentially closed subsets of the real line in

Mathematical Logic Quarterly 61 (1-2):24-31 (2015)
  Copy   BIBTEX

Abstract

We show: iff every countable product of sequential metric spaces (sequentially closed subsets are closed) is a sequential metric space iff every complete metric space is Cantor complete. Every infinite subset X of has a countably infinite subset iff every infinite sequentially closed subset of includes an infinite closed subset. The statement “ is sequential” is equivalent to each one of the following propositions: Every sequentially closed subset A of includes a countable cofinal subset C, for every sequentially closed subset A of, is a meager subset of, for every sequentially closed subset A of,, every sequentially closed subset of is separable, every sequentially closed subset of is Cantor complete, every complete subspace of is Cantor complete.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,689

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Reverse mathematics of separably closed sets.Jeffry L. Hirst - 2006 - Archive for Mathematical Logic 45 (1):1-2.
Two new equivalents of Lindelöf metric spaces.Kyriakos Keremedis - 2018 - Mathematical Logic Quarterly 64 (1-2):37-43.
Projective subsets of separable metric spaces.Arnold W. Miller - 1990 - Annals of Pure and Applied Logic 50 (1):53-69.
Locatedness and overt sublocales.Bas Spitters - 2010 - Annals of Pure and Applied Logic 162 (1):36-54.
Reverse mathematics of mf spaces.Carl Mummert - 2006 - Journal of Mathematical Logic 6 (2):203-232.
Low-distortion embeddings of infinite metric spaces into the real line.Stefan Geschke - 2009 - Annals of Pure and Applied Logic 157 (2-3):148-160.
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.

Analytics

Added to PP
2015-09-03

Downloads
21 (#872,044)

6 months
8 (#842,629)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sequential topologies and Dedekind finite sets.Jindřich Zapletal - 2022 - Mathematical Logic Quarterly 68 (1):107-109.

Add more citations

References found in this work

Non-constructive Properties of the Real Numbers.J. E. Rubin, K. Keremedis & Paul Howard - 2001 - Mathematical Logic Quarterly 47 (3):423-431.
On countable choice and sequential spaces.Gonçalo Gutierres - 2008 - Mathematical Logic Quarterly 54 (2):145-152.

Add more references