scientific article; zbMATH DE number 5251297
From MaRDI portal
Publication:5450322
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Decidability and field theory (12L05) Model theory of fields (12L12)
Recommendations
- The first-order theory of raising to an infinite power
- scientific article; zbMATH DE number 5953963
- On the theory of the real exponential field
- Arithmetization of the field of reals with exponentiation extended abstract
- Lectures on the model theory of real and complex exponentiation
- Exponentiation and second-order bounded arithmetic
- Expansions of the real field with power functions
- On the First Order Theory of the Arithmetical Degrees
- Point-free construction of real exponentiation
Cited in
(8)- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- Model theory and exponentiation.
- The first-order theory of raising to an infinite power
- scientific article; zbMATH DE number 1064597 (Why is no real title available?)
- Models of true arithmetic are integer parts of models of real exponentation
- Embedding the prime model of real exponentiation into o‐minimal exponential fields
- Analogues of Shepherdson's theorem for a language with exponentiation
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5450322)
