Definable sets in ordered structures. I

Transactions of the American Mathematical Society

Volumn 295, Issue 2, 1986, Pages 565-592

  Pillay, Anand ^a,b   Steinhorn, Charles ^a,b  

^a UNIVERSITY OF NOTRE DAME   (United States)

^b VASSAR COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84966677602     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-1986-0833697-X     Document Type: Article

References (18)

1. J. Baldwin, Stability theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin (to appear).
2. J. Baldwin and A. Lachlan, On strongly minimal sets, J. Symbolic Logic 36 (1971), 79-96.
3. P. Cohn, Algebra, Vol. 2, Wiley, London, 1977.
4. L. van den Dries, Remarks on Tarski's problem concerning (R, +, -, exp), manuscript, 1983.
5. P. Erdos, L. Gillman and M. Henriksen, An isomorphism theorem for real closed fields, Ann. of Math. (2) 61 (1955), 542-554.
6. S. Feferman and R. Vaught, The first order properties of algebraic systems, Fund. Math. 47 (1959), 57-103.
7. F. Gausdorff, Grundzuge der Mengenlehre, Leipzig, 1914.
8. C. Langford, Some theorems on deducibility, Ann. of Math. (2) 28 (1927), 16-40.
9. A. Macintyre, On categorical theories of fields, Fund. Math. 71 (1971), 1-25.
10. A. Pillay, An introduction to stability theory, Oxford Univ. Press, Oxford, 1983.
11. A. Pillay and C. Steinhom, Definable sets in ordered structures, Bull. Amer. Math. Soc. (N.S.) 11 (1984).
12. K.P. Podewski, Minimale ringe, preprint 1973.
13. M. Rabin, Decidable theories, Handbook of Mathematical Logic (J. Barwise ed.), North-Holland, Amsterdam, 1977.
14. J. Reineke, Minimale gruppen, Z. Math. Logik Grundlag. Math. 21 (1975), 357-359.
15. A. Robinson, Complete theories, North-Holland, Amsterdam, 1956.
16. A. Tarski and J. McKinsey, A decision problem for elementary algebra and geometry, Rand Corporation, Santa Monica, 1948.
17. S. Shelah, Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, J. Symbolic Logic 37 (1972), 107-113.
18. G. Sacks, Saturated model theory, Benjamin, Reading, Mass., 1972.