Theorems of the complement

DOI10.1007/978-1-4614-4042-0_6MaRDI QIDQ4898995zbMATH OpenOpenAlexFDO

Authors A. Fornasiero, Tamara Servi

Publication date 4 January 2013

Published in Lecture Notes on O-Minimal Structures and Real Analytic Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4614-4042-0_6

zbMATH Keywords

Baire spacesdefinable complete structureso-minimalityPfaffian functions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Real-analytic manifolds, real-analytic spaces (32C05) Baire category, Baire spaces (54E52)

Recommendations

• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
• A general model completeness result for expansions of the real ordered field
• On the real exponential field with restricted analytic functions
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

Cites work

• A general model completeness result for expansions of the real ordered field
• A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
• A theorem of the complement and some new o-minimal structures
• An analogue of the Baire category theorem
• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• Definably complete Baire structures
• Definably connected nonconnected sets
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 49991 (Why is no real title available?)
• Lecture notes on o-minimal structures and real analytic geometry
• Relative Pfaffian closure for definably complete Baire structures
• The Pfaffian closure of an o-minimal structure

Cited in

(12)

• Normal \(\pi\)-complement theorems
• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• Definably complete Baire structures
• A note on Hieronymi's theorem: every definably complete structure is definably Baire
• Relative Pfaffian closure for definably complete Baire structures
• Addendum to the paper ``Decomposition into special cubes and its application to quasi-subanalytic geometry (Ann. Polon. Math. 96 (2009), 65--74)
• scientific article; zbMATH DE number 3915191 (Why is no real title available?)
• The universal complementation property
• A note on a theorem of Lion
• An analogue of the Baire category theorem
• scientific article; zbMATH DE number 1417306 (Why is no real title available?)
• scientific article; zbMATH DE number 1417307 (Why is no real title available?)

This page was built for publication: Theorems of the complement

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