Transplendent Models: Expansions Omitting a Type

被引：1

作者：

Engstrom, Fredrik ^{[1
]}

Kaye, Richard W. ^{[2
]}

机构：

[1] Gothenburg Univ, Dept Philosophy Linguist & Theory Sci, S-40530 Gothenburg, Sweden

[2] Univ Birmingham, Sch Math, Birmingham B15 2TT, W Midlands, England

来源：

NOTRE DAME JOURNAL OF FORMAL LOGIC | 2012年 / 53卷 / 03期

关键词：

models of arithmetic; resplendent models; standard cut; satisfaction classes; AUTOMORPHISMS;

D O I：

10.1215/00294527-1716739

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We expand the notion of resplendency to theories of the kind T + p up arrow, where T is a first-order theory and p up arrow expresses that the type p is omitted; both T and p are in languages extending the base language. We investigate two different formulations and prove necessary and sufficient conditions for countable recursively saturated models of PA.

引用

页码：413 / 428

页数：16

共 50 条

[1] OMITTING MODELS
SNAPPER, E
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 29 - 32
[2] On β-adic expansions of powers of an algebraic integer omitting a digit
Zhao, Jiuzhou
Li, Ruofan
QUAESTIONES MATHEMATICAE, 2025,
[3] OMITTING TYPES, TYPE SPECTRUMS, AND DECIDABILITY
MILLAR, T
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (01) : 171 - 181
[4] THE ATOMIC MODEL THEOREM AND TYPE OMITTING
Hirschfeldt, Denis R.
Shore, Richard A.
Slaman, Theodor A.
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2009, 361 (11) : 5805 - 5837
[5] OMITTING TYPES IN SELF-EXTENDING MODELS
SIMPSON, SG
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 831 - &
[6] ON EXPANSIONS OF RESPLENDENT MODELS TO MODELS OF CLASS THEORIES
KRAJEWSKI, S
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 695 - 696
[7] EXPANSIONS AND MODELS OF AUTOEPISTEMIC THEORIES
RAUSZER, CM
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 340 - 353
[8] MODELS WITH FEW ISOMORPHIC EXPANSIONS
LITMAN, A
SHELAH, S
ISRAEL JOURNAL OF MATHEMATICS, 1977, 28 (04) : 331 - 338
[9] Generic Expansions of Countable Models
Barbina, Silvia
Zambella, Domenico
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (04) : 511 - 523
[10] RENORMALIZED EXPANSIONS FOR MATRIX MODELS
HIKAMI, S
PROGRESS OF THEORETICAL PHYSICS, 1994, 92 (03): : 479 - 499

← 1 2 3 4 5 →