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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

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.
On the Uniform Computational Content of the Baire Category Theorem.Vasco Brattka, Matthew Hendtlass & Alexander P. Kreuzer - 2018 - Notre Dame Journal of Formal Logic 59 (4):605-636.
Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
Definably complete structures are not pseudo-enumerable.Antongiulio Fornasiero - 2011 - Archive for Mathematical Logic 50 (5-6):603-615.
Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
The baire category theorem over a feasible base.Ant6nio M. Fernandes - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001. Association for Symbolic Logic. pp. 21--164.
Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
A fixed-point theorem for definably amenable groups.Juan Felipe Carmona, Kevin Dávila, Alf Onshuus & Rafael Zamora - 2020 - Archive for Mathematical Logic 60 (3-4):413-424.
Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
The baire category theorem and cardinals of countable cofinality.Arnold W. Miller - 1982 - Journal of Symbolic Logic 47 (2):275-288.

Analytics

Added to PP
2013-01-24

Downloads
31 (#732,022)

6 months
7 (#722,178)

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