Model Theory of Analytic Functions: Some Historical Comments
DOI10.2178/bsl/1344861887zbMath1255.03003MaRDI QIDQ2915887
Publication date: 19 September 2012
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.bsl/1344861887
quantifier elimination; decidability; analytic functions; o-minimality; model completeness; valued fields; elimination of imaginaries; topological fields; field of real numbers; field of complex numbers
12L05: Decidability and field theory
03C60: Model-theoretic algebra
03-03: History of mathematical logic and foundations
03C65: Models of other mathematical theories
03C64: Model theory of ordered structures; o-minimality
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Cites Work
- Unnamed Item
- Unnamed Item
- \(p\)-adic and real subanalytic sets
- Semianalytic and subanalytic sets
- Stratification of real analytic mappings and images
- Expansions of algebraically closed fields in o-minimal structures
- A theorem of the complement and some new o-minimal structures
- Imaginaries in real closed valued fields
- Diophantine problems over local fields. III: Decidable fields
- On Schanuel's conjectures
- A remark on Zilber's pseudoexponentiation
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- On definable subsets of p-adic fields
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Rigid Subanalytic Sets
- Decision procedures for real and p‐adic fields
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function