Model completeness in o-minimal polynomially bounded structures

DOI10.1016/J.CRMA.2007.10.049MaRDI QIDQ2473015zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A general model completeness result for expansions of the real ordered field
• The elementary theory of Dedekind cuts in polynomially bounded structures
• scientific article; zbMATH DE number 2220979
• Publication:4944059
• On Dedekind complete o-minimal structures

Cites work

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

Cited in

(7)

• A general model completeness result for expansions of the real ordered field
• The elementary theory of Dedekind cuts in polynomially bounded structures
• scientific article; zbMATH DE number 1765670 (Why is no real title available?)
• scientific article; zbMATH DE number 1417306 (Why is no real title available?)
• scientific article; zbMATH DE number 1417307 (Why is no real title available?)
• scientific article; zbMATH DE number 5215800 (Why is no real title available?)
• An o-minimal structure without mild parameterization

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

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