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 条

[1] Elementary Cuts in Saturated Models of Peano Arithmetic
Schmerl, James H.
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (01) : 1 - 13
[2] THE RECURSIVELY SATURATED PART OF MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (04): : 365 - 370
[3] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[4] AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF ARITHMETIC
KAYE, R
KOSSAK, R
KOTLARSKI, H
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1991, 55 (01) : 67 - 99
[5] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 259 - 286
[6] ON ELEMENTARY CUTS IN MODELS OF ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1983, 115 (01) : 27 - 31
[7] AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Nurkhaidarov, Ermek S.
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (02) : 561 - 584
[8] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[9] Some highly saturated models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1265 - 1273
[10] ON ELEMENTARY CUTS IN SOME MODELS OF ARITHMETIC
KOTLARSKI, H
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 445 - 446

← 1 2 3 4 5 →