论文信息 - An analogue of the Baire category theorem - 字舞流文

An analogue of the Baire category theorem

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

Philipp Hieronymi

[1] Christopher L. Miller. Expansions of Dense Linear Orders with The Intermediate Value Property , 2001, J. Symb. Log..

[2] Chris Miller,et al. Structures having o-minimal open core , 2009 .

[3] Antongiulio Fornasiero. Tame structures and open cores , 2010 .

[4] A. Fornasiero,et al. Definably complete and Baire structures and Pfaffian closure , 2008, 0803.3560.

[5] A. Fornasiero,et al. Definably complete Baire structures , 2010 .

[6] A. Fornasiero,et al. Theorems of the Complement , 2012 .

[7] Locally polynomially bounded structures , 2007, math/0701523.

[8] Philipp Hieronymi. Defining the set of integers in expansions of the real field by a closed discrete set , 2009, 0906.4972.

[9] Antongiulio Fornasiero. Definably complete structures are not pseudo-enumerable , 2011, Arch. Math. Log..

[11] Matthias Aschenbrenner,et al. Definable versions of theorems by Kirszbraun and Helly , 2009, 0906.1168.