Arithmetization of the field of reals with exponentiation extended abstract

DOI10.1051/ITA:2007048MaRDI QIDQ3514637zbMATH OpenOpenAlexFDO

Authors Sedki Boughattas, J.-P. 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/, https://eudml.org/doc/92854

zbMATH Keywords

computation with realsexponentiationmodel theoryo-minimality

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5953963
• On the theory of the real exponential field
• Fields of surreal numbers and exponentiation
• scientific article; zbMATH DE number 1109595
• scientific article; zbMATH DE number 1169378
• Expansions of the real field with power functions
• The Arithmetical Hierarchy Over the Reals
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• scientific article; zbMATH DE number 2123379

Cites work

• Every real closed field has an integer part
• Exponential rings, exponential polynomials and exponential functions
• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• scientific article; zbMATH DE number 3890254 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle

Cited in

(9)

• scientific article; zbMATH DE number 5953963 (Why is no real title available?)
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Models of true arithmetic are integer parts of models of real exponentation
• Real closed fields and models of Peano arithmetic
• scientific article; zbMATH DE number 5251297 (Why is no real title available?)
• Bootstrapping. I
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Analogues of Shepherdson's theorem for a language with exponentiation

This page was built for publication: Arithmetization of the field of reals with exponentiation extended abstract

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3514637)