Pointwise definable substructures of models of Peano arithmetic (Q1113901): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Aldo Ursini / rank | |||
Property / reviewed by | |||
Property / reviewed by: Aldo Ursini / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093637930 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2007013812 / rank | |||
Normal rank |
Latest revision as of 21:10, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pointwise definable substructures of models of Peano arithmetic |
scientific article |
Statements
Pointwise definable substructures of models of Peano arithmetic (English)
0 references
1988
0 references
This paper investigates the submodels of a model M of PA, whose domain is composed of points definable by nonstandard formulas, or initial segments generated by such submodels. The paper makes use of the notion of satisfaction class due to \textit{S. Krajewski} [Lect. Notes Math. 537, 121-144 (1976; Zbl 0338.02030)]. Assume that M is a countable model of PA and S is a full substitutable satisfaction class on M. An initial segment I of M is closed if it is closed under logical operation (in then sense of M). A closed I gives rise to a substructure D(I), composed of those elements of M definable by nonstandard formulas belonging to I with parameters from I. \(M^{D(I)}\) will denote the initial segment generated by I. Results: 1) There are \(2^{\aleph_ 0}\) closed initial segments. 2) If \(\omega\) noncodes I in M then D(I) and \(M^{D(I)}\) are recursively saturated. 3) There are \(2^{\aleph_ 0}\) structures of the form D(I) or of the form \(M^{D(I)}\). Also the case in which definability involves a parameter \(a>I\) is considered.
0 references
submodels
0 references
satisfaction class
0 references
initial segment
0 references
definability
0 references