Definable sets in ordered structures. II

Transactions of the American Mathematical Society

Volumn 295, Issue 2, 1986, Pages 593-609

  Knight, Julia F ^a   Pillay, Anand ^a   Steinhorn, Charles ^b  

^a UNIVERSITY OF NOTRE DAME   (United States)

^b VASSAR COLLEGE   (United States)

Author keywords

0 minimal; Cell; Definably connected

Indexed keywords

EID: 84967774624     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-1986-0833698-1     Document Type: Article

References (9)

1. G. W. Brumfiel, Partially ordered rings and semi-algebraic geometry, London Math. Soc. Lecture Note Series no. 37, Cambridge Univ. Press, London, 1979.
2. CL. G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic de-composition, Automata Theory and Formal Languages, Springer-Verlag, Berlin and New York, 1975.
3. L. van den Dries, Remarks on Tarski’s problem concerning (R, -I-, -, exp), Logic Colloquium’82 (Lolli, Longo and Mareja, eds.), North-Holland, Amsterdam, 1984.
4. J. Mather, Stratifications and mappings, Dynamical Systems (M. Peixoto, ed.), Academic Press, New York, 1973.
5. A. Pillay and C. I. Steinhorn, Definable sets in ordered structures, Bull. Amer. Math. Soc. (N.S.) 11 (1984), 159-162.
6. A. Pillay, Definable sets in ordered structures. I, preprint, 1984.
7. A. Pillay, Trans. Amer. Math. Soc. 295 (1986), 565-592.
8. A. Tarski, A decision method for elementary algebra and geometry, 2nd rev. ed., Univ. of California Press, Berkeley and Los Angeles, 1951.
9. H. Whitney, Elementary structure of real algebraic varieties, Ann. of Math. (2) 66 (1957), 545-556.