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 条

[11] 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
[12] ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1984, 120 (03) : 205 - 222
[13] A Galois correspondence for countable short recursively saturated models of PA
Shochat, Erez
[J]. MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (03) : 228 - 256
[14] RECURSIVELY SATURATED OMEGA-1-LIKE MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 488 - 489
[15] OMEGA-1-LIKE RECURSIVELY SATURATED MODELS OF PRESBURGER ARITHMETIC
HARNIK, V
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 421 - 429
[16] ON THE ADMISSIBLE SETS OF TYPE HYP(M) OVER RECURSIVELY SATURATED MODELS
Avdeev, R. R.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2011, 52 (06) : 951 - 968
[17] SUBLATTICES OF RECURSIVELY ENUMERABLE DEGREES
THOMASON, SK
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (03): : 273 - &
[18] RECURSIVELY ENUMERABLE SETS AND DEGREES
SOARE, RI
[J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 84 (06) : 1149 - 1181
[19] 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
[20] DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
Nies, Andre
Shore, Richard A.
Slaman, Theodore A.
[J]. BULLETIN OF SYMBOLIC LOGIC, 1996, 2 (04) : 392 - 404

← 1 2 3 4 5 →