Definability in o-minimal expansions of the real numbers
From MaRDI portal
Publication:4916197
DOI10.1016/S1571-0661(04)80536-XzbMath1261.03122OpenAlexW2060173329MaRDI QIDQ4916197
Publication date: 19 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80536-x
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(p\)-adic and real subanalytic sets
- Analytic stratification in the Pfaffian closure of an \(o\)-minimal structure
- On Schanuel's conjectures
- Differential equations over polynomially bounded o-minimal structures
- On defining C∞
- Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Weakly o-minimal structures and real closed fields
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Some remarks on Schanuel's conjecture
- Linear groups definable in o-minimal structures