Definability and nondefinability results for certain o-minimal structures

DOI10.1002/MALQ.200910105zbMATH Open1206.03039OpenAlexW1990010608MaRDI QIDQ3053231FDOQ3053231

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

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

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)

Cites Work

• 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
• Title not available (Why is that?)

Cited In (14)

• Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure
• Strongly minimal expansions of (ℂ, +) definable in o-minimal fields
• Definable functions continuous on curves in o-minimal structures
• 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
• Some remarks on definable equivalence relations in O-minimal structures
• Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
• Valeurs critiques asymptotiques d'une fonction définissable dans une structure o-minimale

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)