论文信息 - Real closed rings II. model theory

Real closed rings II. model theory

On etudie la theorie des modeles et l'algebre des anneaux commutatifs ordonnes qui satisfont le theoreme de valeur intermediaire pour des polynomes a une variable

Gregory L. Cherlin | Max A. Dickmann | G. Cherlin | M. Dickmann

[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 .