Nonconstructive Properties of Well-Ordered T 2 topological Spaces

Notre Dame Journal of Formal Logic 40 (4):548-553 (1999)
  Copy   BIBTEX

Abstract

We show that none of the following statements is provable in Zermelo-Fraenkel set theory (ZF) answering the corresponding open questions from Brunner in ``The axiom of choice in topology'':(i) For every T2 topological space (X, T) if X is well-ordered, then X has a well-ordered base,(ii) For every T2 topological space (X, T), if X is well-ordered, then there exists a function f : X × W T such that W is a well-ordered set and f ({x} × W) is a neighborhood base at x for each x X,(iii) For every T2 topological space (X, T), if X has a well-ordered dense subset, then there exists a function f : X × W T such that W is a well-ordered set and {x} = f ({x} × W) for each x X

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Mathematical Logic.Philip Kremer - 1943 - Mind 52 (207):264-275.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Computability of pseudo-cubes.Marko Horvat, Zvonko Iljazović & Bojan Pažek - 2020 - Annals of Pure and Applied Logic 171 (8):102823.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
The Ultrafilter Closure in ZF.Gonçalo Gutierres - 2010 - Mathematical Logic Quarterly 56 (3):331-336.
Non-well-foundedness of well-orderable power sets.T. E. Forster & J. K. Truss - 2003 - Journal of Symbolic Logic 68 (3):879-884.
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.

Analytics

Added to PP
2010-08-24

Downloads
45 (#516,855)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The axiom of choice in topology.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (3):305-317.

Add more references