An effective version of Wilkie's theorem of the complement and some effective o-minimality results
暂无分享,去创建一个
[1] Andrei Gabrielov. Frontier and Closure of a Semi-Pfaffian Set , 1998, Discret. Comput. Geom..
[2] A. Wilkie. A theorem of the complement and some new o-minimal structures , 1999 .
[3] Angus Macintyre,et al. On the decidability of the real exponential field , 1996 .
[4] A. Wilkie. TAME TOPOLOGY AND O-MINIMAL STRUCTURES (London Mathematical Society Lecture Note Series 248) By L OU VAN DEN D RIES : 180 pp., £24.95 (US$39.95, LMS Members' price £18.70), ISBN 0 521 59838 9 (Cambridge University Press, 1998). , 2000 .
[5] Jean-Yves Charbonnel. Sur certains sous-ensembles de l'espace euclidien , 1991 .
[6] A. Gabrielov,et al. Complexity of computations with Pfaffian and Noetherian functions , 2004 .
[7] A. Wilkie. Models and Computability: Model Theory of Analytic and Smooth Functions , 1999 .
[8] Relative Closure and the Complexity of Pfaffian Elimination , 2003 .
[9] Steve Maxwell. A General Model Completeness Result for Expansions of the Real Ordered Field , 1998, Ann. Pure Appl. Log..
[10] L. van den Dries,et al. Tame Topology and O-minimal Structures , 1998 .
[11] On Groups and Rings Definable In O–Minimal Expansions of Real Closed Fields , 1996 .
[12] G. Sacks. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .
[13] A. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function , 1996 .
[14] J. D. Knowles,et al. MEASURE AND CATEGORY , 1974 .