RESULTS ON AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF PA

被引：8

|

作者：

KOSSAK, R ^{[1
]}

KOTLARSKI, H ^{[1
]}

机构：

[1] INST APPL MATH & STAT,PL-02766 WARSZAWA,POLAND

来源：

FUNDAMENTA MATHEMATICAE | 1988年 / 129卷 / 01期

关键词：

D O I：

10.4064/fm-129-1-9-15

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：9 / 15

页数：7

相关论文

共 50 条

[1] RESULTS ON AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 325 - 325
[2] 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
[3] AUTOMORPHISMS OF COUNTABLE RECURSIVELY SATURATED MODELS OF PA - OPEN SUBGROUPS AND INVARIANT CUTS
KOTLARSKI, H
PIEKART, B
[J]. MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (01) : 138 - 142
[4] DEGREES OF RECURSIVELY SATURATED MODELS OF PA
MACINTYRE, A
MARKER, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 679 - 679
[5] ON SOME PROPERTIES OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 695 - 695
[6] A Galois correspondence for countable short recursively saturated models of PA
Shochat, Erez
[J]. MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (03) : 228 - 256
[7] RECURSIVELY SATURATED OMEGA-1-LIKE MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 488 - 489
[8] On two questions concerning the automorphism groups of countable recursively saturated models of PA
Kossak, R
Bamber, N
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1996, 36 (01) : 73 - 79
[9] DEGREES OF RECURSIVELY SATURATED MODELS
MACINTYRE, A
MARKER, D
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 282 (02) : 539 - 554
[10] THE STRUCTURE OF COUNTABLE RECURSIVELY SATURATED MODELS
DAQUINO, P
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1991, 5B (04): : 815 - 838

← 1 2 3 4 5 →