Undefinability results in o-minimal expansions of the real numbers

DOI10.1016/j.apal.2004.06.010zbMath1065.03021OpenAlexW2018951137MaRDI QIDQ1779308

Ricardo Bianconi

Publication date: 1 June 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.06.010

zbMATH Keywords

harmonic functionsdefinabilitySchanuel's conjecturereal exponential field

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Related Items (5)

Global complexification of real analytic globally subanalytic functions ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ The set of restricted complex exponents for expansions of the reals ⋮ \(R\)-analytic functions ⋮ On freely generated \(E\)-subrings

Cites Work

• Expansions of the real field with power functions
• On Schanuel's conjectures
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undefinability results in o-minimal expansions of the real numbers