Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(2)
baire category
Satisfiability
Subscribe
Academic
Publications
An analogue of the Baire Category Theorem
An analogue of the Baire Category Theorem,Philipp Hieronymi
Edit
An analogue of the Baire Category Theorem
(
Citations: 1
)
BibTex

RIS

RefWorks
Download
Philipp Hieronymi
Every definably complete expansion of an ordered field satisfies an analogue of the
Baire Category
Theorem.
Published in 2011.
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
adsabs.harvard.edu
)
(
arxiv.org
)
Citation Context
(1)
...[6]. After the first version of this article was submitted, P. Hieronymi, expanding the results in this article, proved the above conjecture [
8
]...
...Using some of the results in this section (Corollary 6.6), P. Hieronymi was able to prove the above conjecture [
8
]...
Antongiulio Fornasiero
.
Definably complete structures are not pseudoenumerable
References
(8)
Definable versions of theorems by Kirszbraun and Helly
(
Citations: 2
)
Matthias Aschenbrenner
,
Andreas Fischer
Published in 2009.
Structures having ominimal open core
(
Citations: 8
)
Alfred Dolich
,
Chris Miller
,
Charles Steinhorn
Journal:
Transactions of The American Mathematical Society  TRANS AMER MATH SOC
, vol. 362, no. 03, pp. 13711411, 2009
A firstorder version of Pfaffian closure
(
Citations: 2
)
Sergio Fratarcangeli
Journal:
Fundamenta Mathematicae  FUND MATH
, vol. 198, no. 3, pp. 229254, 2008
Defining the set of integers in expansions of the real field by a closed discrete set
(
Citations: 4
)
Philipp Hieronymi
Journal:
Proceedings of The American Mathematical Society  PROC AMER MATH SOC
, vol. 138, no. 06, pp. 21632168, 2010
Locally Polynomially Bounded Structures
(
Citations: 3
)
A. J. Wilkie
,
Gareth Jones
Published in 2007.
Sort by:
Citations
(1)
Definably complete structures are not pseudoenumerable
(
Citations: 1
)
Antongiulio Fornasiero
Journal:
Archive for Mathematical Logic  Arch. Math. Log.
, vol. 50, no. 5, pp. 603615, 2011