scientific article; zbMATH DE number 5251297

zbMath1388.03003MaRDI QIDQ5450322

Tamara Servi

Publication date: 20 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items (3)

Embedding the prime model of real exponentiation into o‐minimal exponential fields ⋮ Models of true arithmetic are integer parts of models of real exponentation ⋮ The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field

Uses Software

• Stata

This page was built for publication: