Model Theory of Analytic Functions: Some Historical Comments
DOI10.2178/bsl/1344861887zbMath1255.03003OpenAlexW2065551785MaRDI 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 eliminationdecidabilityanalytic functionso-minimalitymodel completenessvalued fieldselimination of imaginariestopological fieldsfield of real numbersfield of complex numbers
Decidability and field theory (12L05) Model-theoretic algebra (03C60) History of mathematical logic and foundations (03-03) Models of other mathematical theories (03C65) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- \(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
- Unnamed Item
- Unnamed Item
This page was built for publication: Model Theory of Analytic Functions: Some Historical Comments
