Definability and nondefinability results for certain o-minimal structures

DOI10.1002/malq.200910105zbMath1206.03039OpenAlexW1990010608MaRDI QIDQ3053231

Hassan Sfouli

Publication date: 4 November 2010

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200910105

zbMATH Keywords

definabilityo-minimal structures

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64)

Related Items (1)

Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure

Cites Work

• Unnamed Item
• The elementary theory of restricted analytic fields with exponentiation
• The Field of Reals with Multisummable Series and the Exponential Function
• On the elementary theory of restricted elementary functions
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function

This page was built for publication: Definability and nondefinability results for certain o-minimal structures