Arithmetization of the field of reals with exponentiation extended abstract
From MaRDI portal
Publication:3514637
DOI10.1051/ita:2007048zbMath1144.03027OpenAlexW2141493307MaRDI QIDQ3514637
Sedki Boughattas, Jean-Pierre Ressayre
Publication date: 21 July 2008
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=ITA_2008__42_1_105_0/
Model-theoretic algebra (03C60) Nonstandard models of arithmetic (03H15) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)
Related Items
Cites Work
- Exponential rings, exponential polynomials and exponential functions
- Every real closed field has an integer part
- Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Arithmetization of the field of reals with exponentiation extended abstract