Real closed rings II. model theory
暂无分享,去创建一个
[1] Angus Macintyre,et al. On definable subsets of p-adic fields , 1976, Journal of Symbolic Logic.
[2] Volker Weispfenning,et al. On the elementary theory of Hensel fields , 1976 .
[3] Gregory L. Cherlin,et al. Model Theoretic Algebra , 1976, Journal of Symbolic Logic.
[4] M. A. Dickmann,et al. On polynomials over real closed rings , 1980 .
[5] Gregory Cherlin,et al. Note on a nullstellensatz , 1981 .
[6] A. Macintyre,et al. Elimination of Quantifiers in Algebraic Structures , 1983 .