AN ANALOGUE OF THE BAIRE CATEGORY THEOREM

被引:6
作者
Hieronymi, Philipp [1 ]
机构
[1] Univ Illinois, Dept Math, Urbana, IL 61801 USA
关键词
EXPANSIONS;
D O I
10.2178/jsl.7801140
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
引用
收藏
页码:207 / 213
页数:7
相关论文
共 7 条
[1]  
Dolich A, 2010, T AM MATH SOC, V362, P1371
[2]  
FORNASIERO A., ILLINOIS J IN PRESS
[3]  
FORNASIERO A., 2012, FIELDS I COMMUNICATI, V62, P219
[4]   Definably complete structures are not pseudo-enumerable [J].
Fornasiero, Antongiulio .
ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (5-6) :603-615
[5]   Definably complete Baire structures [J].
Fornasiero, Antongiulio ;
Servi, Tamara .
FUNDAMENTA MATHEMATICAE, 2010, 209 (03) :215-241
[6]   DEFINING THE SET OF INTEGERS IN EXPANSIONS OF THE REAL FIELD BY A CLOSED DISCRETE SET [J].
Hieronymi, Philipp .
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2010, 138 (06) :2163-2168
[7]   Expansions of dense linear orders with the intermediate value property [J].
Miller, C .
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) :1783-1790