Arithmetization of the field of reals with exponentiation extended abstract

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/

zbMATH Keywords

model theoryexponentiationo-minimalitycomputation with reals

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Nonstandard models of arithmetic (03H15) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items

Bootstrapping. I ⋮ Real closed fields and models of Peano arithmetic

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