An analogue of the Baire category theorem

Journal of Symbolic Logic 78 (1):207-213 (2013)
  Copy   BIBTEX

Abstract

Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem

Categories

Keywords

Reprint years

DOI

10.2178/jsl.7801140

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
The baire category theorem and cardinals of countable cofinality.Arnold W. Miller - 1982 - Journal of Symbolic Logic 47 (2):275-288.
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.
Martin's axioms, measurability and equiconsistency results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Effective choice and boundedness principles in computable analysis.Vasco Brattka & Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (1):73-117.
The Kunen-Miller chart (lebesgue measure, the baire property, Laver reals and preservation theorems for forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
A baire-type theorem for cardinals.Kurt Wolfsdorf - 1983 - Journal of Symbolic Logic 48 (4):1082-1089.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
Generalization of Scott's formula for retractions from generalized alexandroff's cube.Jaros?aw Achinger - 1986 - Studia Logica 45 (3):281 - 292.
A continuity principle, a version of Baire's theorem and a boundedness principle.Hajime Ishihara & Peter Schuster - 2008 - Journal of Symbolic Logic 73 (4):1354-1360.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin.Keng Meng Ng - 2009 - Notre Dame Journal of Formal Logic 50 (4):469-493.
Arrow's theorem in judgment aggregation.Franz Dietrich & Christian List - 2007 - Social Choice and Welfare 29 (1):19-33.

Analytics

Added to PP
2013-01-24

Downloads
14 (#930,021)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Locally o-Minimal Structures with Tame Topological Properties.Masato Fujita - 2023 - Journal of Symbolic Logic 88 (1):219-241.

Add more citations

References found in this work

Definably complete structures are not pseudo-enumerable.Antongiulio Fornasiero - 2011 - Archive for Mathematical Logic 50 (5-6):603-615.

Add more references