THE THEORY OF INDUCTIVE REAL-CLOSED FIELDS IS A CONSERVATIVE EXTENSION OF PEANO ARITHMETIC

被引：0

作者：

CEGIELSKI, P ^{[1
]}

机构：

[1] UNIV PARIS 07,F-75251 PARIS 05,FRANCE

来源：

COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE | 1990年 / 310卷 / 05期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：239 / 242

页数：4

共 18 条

[1] REAL CLOSED FIELDS AND MODELS OF PEANO ARITHMETIC
D'Aquino, P.
Knight, J. F.
Starchenko, S.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2010, 75 (01) : 1 - 11
[2] AN ISOMORPHISM THEOREM FOR REAL-CLOSED FIELDS
ERDOS, P
GILLMAN, L
HENRIKSEN, M
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1954, 60 (06) : 526 - 526
[3] AN ISOMORPHISM THEOREM FOR REAL-CLOSED FIELDS
ERDOS, P
GILLMAN, L
HENRIKSEN, M
[J]. ANNALS OF MATHEMATICS, 1955, 61 (03) : 542 - 554
[4] A standard model of Peano arithmetic with no conservative elementary extension
Enayat, Ali
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2008, 156 (2-3) : 308 - 318
[5] ARITHMETICAL CLASSES AND TYPES OF ALGEBRAICALLY CLOSED AND REAL-CLOSED FIELDS - PRELIMINARY REPORT
TARSKI, A
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1949, 55 (01) : 64 - 64
[6] ABSTRACT HOMOMORPHISMS OF ANISOTROPIC ALGEBRAIC GROUPS OVER REAL-CLOSED FIELDS
WEISFEILER, B
[J]. JOURNAL OF ALGEBRA, 1979, 60 (02) : 485 - 519
[7] AN ISOMORPHISM THEOREM FOR ALGEBRAIC FUNCTION-FIELDS OF GENUS ONE OVER REAL-CLOSED FIELDS
ALLING, NL
[J]. HOUSTON JOURNAL OF MATHEMATICS, 1986, 12 (03): : 333 - 343
[8] THE STRUCTURE OF THE OPEN SEMI-ALGEBRAIC SUBSETS IN CERTAIN REAL-CLOSED FIELDS
DICKMANN, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1433 - 1433
[9] A VERSION OF KRIPKE-PLATEK SET-THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC
JAGER, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (01): : 3 - 9
[10] REAL CLOSED FIELDS AND MODELS OF ARITHMETIC (vol 75, pg 1, 2010)
D'Aquino, P.
Knight, J. F.
Starchenko, S.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (02) : 726 - 726

← 1 2 →