DEGREES OF RECURSIVELY SATURATED MODELS

被引：26

|

作者：

MACINTYRE, A

MARKER, D

机构：

来源：

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1984年 / 282卷 / 02期

关键词：

D O I：

10.2307/1999251

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：539 / 554

页数：16

相关论文

共 50 条

[1] DEGREES OF RECURSIVELY SATURATED MODELS OF PA
MACINTYRE, A
MARKER, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 679 - 679
[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] THE STRUCTURE OF COUNTABLE RECURSIVELY SATURATED MODELS
DAQUINO, P
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1991, 5B (04): : 815 - 838
[4] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 259 - 286
[5] INTRODUCTION TO RECURSIVELY SATURATED AND RESPLENDENT MODELS
BARWISE, J
SCHLIPF, J
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 531 - 536
[6] RESULTS ON AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1988, 129 (01) : 9 - 15
[7] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[8] ON SOME PROPERTIES OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 695 - 695
[9] RESULTS ON AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 325 - 325
[10] RECURSIVELY SATURATED MODELS OF SET-THEORY
SCHLIPF, JS
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 80 (01) : 135 - 142

← 1 2 3 4 5 →