REAL CLOSED RINGS .2. MODEL-THEORY

被引：63

作者：

CHERLIN, G

DICKMANN, MA

机构：

[1] RUTGERS STATE UNIV,NEW BRUNSWICK,NJ 08903

[2] UNIV PARIS 07,CNRS,F-75221 PARIS 05,FRANCE

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1983年 / 25卷 / 03期

关键词：

D O I：

10.1016/0168-0072(83)90019-2

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：213 / 231

页数：19

相关论文

共 9 条

[1]

CHERLIN G, 1981, LECTURE NOTES MATH, V890, P111

[2] MODEL THEORETIC ALGEBRA [J].

CHERLIN, GL .

JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) :537-545

[3]

Delon F., 1982, THESIS U PARIS 7, V7

[4]

Dickmann M. A., 1980, LECT NOTES MATH, V834, P117

[5] DEFINABLE SUBSETS OF PARA-ADIC FIELDS [J].

MACINTYRE, A .

JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (03) :605-610

[6] ELIMINATION OF QUANTIFIERS IN ALGEBRAIC STRUCTURES [J].

MACINTYRE, A ;

MCKENNA, K ;

VANDENDRIES, L .

ADVANCES IN MATHEMATICS, 1983, 47 (01) :74-87

[7]

Ribenboim P., 1964, THEORIE VALUATIONS

[8]

ROBINSON A., 1956, COMPLETE THEORIES

[9]

Weispfenning V., 1976, ANN MATH LOGIC, V10, P59