THE RECURSIVELY SATURATED PART OF MODELS OF PEANO ARITHMETIC

被引：0

|

作者：

KOTLARSKI, H

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1986年 / 32卷 / 04期

关键词：

D O I：

10.1002/malq.19860321910

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：365 / 370

页数：6

相关论文

共 50 条

[1] ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1984, 120 (03) : 205 - 222
[2] SATURATED MODELS OF PEANO ARITHMETIC
PABION, JF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 625 - 637
[3] 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
[4] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 259 - 286
[5] AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC
Nurkhaidarov, Ermek S.
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (02) : 561 - 584
[6] Elementary Cuts in Saturated Models of Peano Arithmetic
Schmerl, James H.
[J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (01) : 1 - 13
[7] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[8] Some highly saturated models of Peano arithmetic
Schmerl, JH
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (04) : 1265 - 1273
[9] On interstices of countable arithmetically saturated models of Peano Arithmetic
Bamber, N
Kotlarski, H
[J]. MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (04) : 525 - 540
[10] AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC
Schmerl, James H.
[J]. JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (04) : 1411 - 1434

← 1 2 3 4 5 →