An effective version of Wilkie's theorem of the complement and some effective o-minimality results-Reference-Cited by-同舟云学术

An effective version of Wilkie's theorem of the complement and some effective o-minimality results

Published:2004-02 Issue:1-3 Volume:125 Page:43-74
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Berarducci Alessandro,Servi Tamara

Publisher

Elsevier BV

Subject

Logic

Reference15 articles.

1. Sur certains sous-ensembles de l'espace euclidien;Charbonnel;Ann. Inst. Fourier (Grenoble),1991

2. L. van den Dries, o-minimal structures, in: Logic: from foundations to applications (Staffordshire, 1993), Oxford Sci. Publ., Oxford University Press, New York, 1996, pp. 137–185.

3. L. van den Dries, Tame topology and o-minimal structures, in: London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.

4. Frontier and closure of a semi-Pfaffian set;Gabrielov;Discrete Comput. Geom.,1998

5. A. Gabrielov, Relative closure and the complexity of Pfaffian elimination, in: B. Aronov (Ed.), Discrete and Computational Geometry: The Goodman-Pollack Festschrift, Springer, 2003.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the set of reduced states of translation invariant, infinite quantum systems;Letters in Mathematical Physics;2024-02-13

2. Embedding the prime model of real exponentiation into o‐minimal exponential fields;Bulletin of the London Mathematical Society;2023-12-15

3. Algebraic and Model Theoretic Properties of O-minimal Exponential Fields;The Bulletin of Symbolic Logic;2021-12

4. Value groups and residue fields of models of real exponentiation;Journal of Logic and Analysis;2019

5. Theorems of the Complement;Lecture Notes on O-Minimal Structures and Real Analytic Geometry;2012