On countable choice and sequential spaces

Mathematical Logic Quarterly 54 (2):145-152 (2008)
  Copy   BIBTEX

Abstract

Under the axiom of choice, every first countable space is a Fréchet-Urysohn space. Although, in its absence even ℝ may fail to be a sequential space.Our goal in this paper is to discuss under which set-theoretic conditions some topological classes, such as the first countable spaces, the metric spaces, or the subspaces of ℝ, are classes of Fréchet-Urysohn or sequential spaces.In this context, it is seen that there are metric spaces which are not sequential spaces. This fact raises the question of knowing if the completion of a metric space exists and it is unique. The answer depends on the definition of completion.Among other results it is shown that: every first countable space is a sequential space if and only if the axiom of countable choice holds, the sequential closure is idempotent in ℝ if and only if the axiom of countable choice holds for families of subsets of ℝ, and every metric space has a unique equation image-completion

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

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

Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Countable Fréchetα 1-Spaces May Be First Countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
On Constructing Completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.
Dynamic Topological Logic of Metric Spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.

Analytics

Added to PP
2013-12-01

Downloads
18 (#607,888)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Sequentially Closed Subsets of the Real Line in ZF.Kyriakos Keremedis - 2015 - Mathematical Logic Quarterly 61 (1-2):24-31.
The Ultrafilter Closure in ZF.Gonçalo Gutierres - 2010 - Mathematical Logic Quarterly 56 (3):331-336.

Add more citations

References found in this work

Add more references