Model completeness in o-minimal polynomially bounded structures

DOI10.1016/J.CRMA.2007.10.049zbMath1130.03029OpenAlexW2053876971MaRDI QIDQ2473015

Olivier Le Gal

Publication date: 26 February 2008

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.crma.2007.10.049

zbMATH Keywords

complementso-minimal polynomially bounded structures

Mathematics Subject Classification ID

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

Related Items (1)

An o-minimal structure without mild parameterization

Cites Work

• \(p\)-adic and real subanalytic sets
• Expansions of the real field with power functions
• Complements of subanalytic sets and existential formulas for analytic functions
• Geometric categories and o-minimal structures
• A theorem of the complement and some new o-minimal structures
• Projections of semi-analytic sets
• Quasianalytic Denjoy-Carleman classes and o-minimality

This page was built for publication: Model completeness in o-minimal polynomially bounded structures