Mathematical Logic Quarterly 54 (2):145-152 (2008)
AbstractUnder 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
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.
Products of Compact Spaces and the Axiom of Choice II.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (1):57-71.
The Failure of the Axiom of Choice Implies Unrest in the Theory of Lindelöf Metric Spaces.Kyriakos Keremedis - 2003 - Mathematical Logic Quarterly 49 (2):179-186.
Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
On Lindelof Metric Spaces and Weak Forms of the Axiom of Choice.Kyriakos Keremedis & Eleftherios Tachtsis - 2000 - Mathematical Logic Quarterly 46 (1):35-44.
Countable Fréchetα 1-Spaces May Be First Countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
Notions of Compactness for Special Subsets of ℝ I and Some Weak Forms of the Axiom of Choice.Marianne Morillon - 2010 - Journal of Symbolic Logic 75 (1):255-268.
Consequences of the Failure of the Axiom of Choice in the Theory of Lindelof Metric Spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
Metric Spaces and the Axiom of Choice.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (5):455-466.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
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.
Universality of the Closure Space of Filters in the Algebra of All Subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
Added to PP
Historical graph of 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.
References found in this work
Sequential Topological Conditions in ℝ in the Absence of the Axiom of Choice.Gonçalo Gutierres - 2003 - Mathematical Logic Quarterly 49 (3):293-298.