ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC

被引：18

|

作者：

KOTLARSKI, H

机构：

来源：

FUNDAMENTA MATHEMATICAE | 1984年 / 120卷 / 03期

关键词：

D O I：

10.4064/fm-120-3-205-222

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：205 / 222

页数：18

相关论文

共 50 条

[21] The Structure of Models of Peano Arithmetic
Kach, Asher M.
[J]. STUDIA LOGICA, 2012, 100 (03) : 659 - 662
[22] MODEL OF PEANO ARITHMETIC WITH NO ELEMENTARY END EXTENSION
MILLS, G
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 563 - 567
[23] DEGREES OF RECURSIVELY SATURATED MODELS
MACINTYRE, A
MARKER, D
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 282 (02) : 539 - 554
[24] The arithmetic of cuts in models of arithmetic
Kaye, Richard
[J]. MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (4-5) : 332 - 351
[25] Nonstandard models that are definable in models of Peano Arithmetic
Ikeda, Kazuma
Tsuboi, Akito
[J]. MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (01) : 27 - 37
[26] The automorphism group of an arithmetically saturated model of Peano Arithmetic
Kossak, R
Schmerl, JH
[J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1995, 52 : 235 - 244
[27] 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
[28] Automorphism groups of models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1249 - 1264
[29] DEFINABLE SUBSTRUCTURES OF MODELS OF PEANO ARITHMETIC
MURAWSKI, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 332 - 333
[30] SUBSTRUCTURE LATTICES OF MODELS OF PEANO ARITHMETIC
SCHMERL, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 496 - 496

← 1 2 3 4 5 →