Definability and nondefinability results for certain o-minimal structures

DOI10.1002/MALQ.200910105MaRDI QIDQ3053231zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
• O-minimal version of Whitney's extension theorem
• Definability in o-minimal expansions of the real numbers

Cites work

• scientific article; zbMATH DE number 1046089 (Why is no real title available?)
• Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
• On the elementary theory of restricted elementary functions
• The elementary theory of restricted analytic fields with exponentiation
• The field of reals with multisummable series and the exponential function.

Cited in

(14)

• Valeurs critiques asymptotiques d'une fonction définissable dans une structure o-minimale
• Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure
• Definable functions continuous on curves in o-minimal structures
• Strongly minimal expansions of (ℂ, +) definable in o-minimal fields
• Convergence results for function spaces over o-minimal structures
• The Positivstellensatz for definable functions on o-minimal structures
• The non-axiomatizability of o-minimality
• Fiberwise properties of definable sets and functions in o-minimal structures
• Indefinability in o-minimal structures of finite sets of matrices whose infinite products converge and are bounded or unbounded
• Infinite Differentiability in Polynomially Bounded O-Minimal Structures
• Definable sets in boolean ordered o-minimal structures. II
• Some nondefinability results with entire functions in a polynomially bounded o-minimal structure
• Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
• Some remarks on definable equivalence relations in O-minimal structures

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3053231)