On the decidability of the real field with a generic power function

DOI10.2178/jsl/1318338857zbMath1261.03123OpenAlexW1964730968MaRDI QIDQ3107362

Tamara Servi, Gareth O. Jones

Publication date: 23 December 2011

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://eprints.maths.manchester.ac.uk/1643/1/JonesServi.pdf

zbMATH Keywords

decidabilityo-minimalityreal power functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12)

Related Items (2)

A closure operator respecting the modular \(j\)-function ⋮ Independence in computable algebra

Cites Work

• Unnamed Item
• The field of reals with a predicate for the powers of two
• Expansions of the real field with power functions
• Definably complete Baire structures
• Locally polynomially bounded structures
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

This page was built for publication: On the decidability of the real field with a generic power function