Definable sets in ordered structures
HTML articles powered by AMS MathViewer
- by Anand Pillay and Charles Steinhorn PDF
- Bull. Amer. Math. Soc. 11 (1984), 159-162
References
- P. Erdös, L. Gillman, and M. Henriksen, An isomorphism theorem for real-closed fields, Ann. of Math. (2) 61 (1955), 542–554. MR 69161, DOI 10.2307/1969812
- John N. Mather, Stratifications and mappings, Dynamical systems (Proc. Sympos., Univ. Bahia, Salvador, 1971) Academic Press, New York, 1973, pp. 195–232. MR 0368064
- Alfred Tarski, A Decision Method for Elementary Algebra and Geometry, The Rand Corporation, Santa Monica, Calif., 1948. MR 0028796 4. L. van den Dries, Remarks on Tarski’s problem concerning (R, +,., exp), Proc. Peano Conf. (Florence, 1982) (to appear).
- Hassler Whitney, Elementary structure of real algebraic varieties, Ann. of Math. (2) 66 (1957), 545–556. MR 95844, DOI 10.2307/1969908
Additional Information
- Journal: Bull. Amer. Math. Soc. 11 (1984), 159-162
- MSC (1980): Primary 03C45
- DOI: https://doi.org/10.1090/S0273-0979-1984-15249-2
- MathSciNet review: 741730