OMEGA-1-LIKE RECURSIVELY SATURATED MODELS OF PRESBURGER ARITHMETIC

被引：6

|

作者：

HARNIK, V

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 02期

关键词：

D O I：

10.2307/2274065

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：421 / 429

页数：9

相关论文

共 50 条

[1] COUNTABLE OR OMEGA-1-LIKE MODELS OF PRESBURGER ARITHMETIC
HARNIK, V
[J]. LECTURE NOTES IN MATHEMATICS, 1987, 1292 : 89 - 106
[2] RECURSIVELY SATURATED OMEGA-1-LIKE MODELS OF PA
KOSSAK, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 488 - 489
[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] ON THE NUMBER OF OMEGA-1-LIKE EXTENSIONS OF COUNTABLE MODELS OF PA
MUJAJLOVIC, Z
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 891 - 891
[6] RECURSIVELY SATURATED NONSTANDARD MODELS OF ARITHMETIC - ADDENDUM
SMORYNSKI, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) : 493 - 494
[7] 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
[8] THE STRUCTURE OF OMEGA-1-LIKE ORDERINGS
HARNIK, V
NADEL, ME
STAVI, J
[J]. FUNDAMENTA MATHEMATICAE, 1986, 126 (02) : 185 - 199
[9] L-INFINITY-OMEGA-1-ELEMENTARY EQUIVALENCE OF OMEGA-1-LIKE MODELS OF PA
KOSSAK, R
[J]. FUNDAMENTA MATHEMATICAE, 1984, 123 (02) : 123 - 131
[10] ON ELEMENTARY CUTS IN RECURSIVELY SATURATED MODELS OF PEANO ARITHMETIC
KOTLARSKI, H
[J]. FUNDAMENTA MATHEMATICAE, 1984, 120 (03) : 205 - 222

← 1 2 3 4 5 →