On closed elementary cuts in recursively saturated models of Peano arithmetic (Q1309332): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093634654 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2004208449 / rank | |||
Normal rank |
Latest revision as of 19:40, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On closed elementary cuts in recursively saturated models of Peano arithmetic |
scientific article |
Statements
On closed elementary cuts in recursively saturated models of Peano arithmetic (English)
0 references
6 December 1993
0 references
If \(M\) is a model of PA and \(a\in M\), then \(M[a]\) is the largest elementary submodel of \(M\) that does not contain \(a\). A subset \(X\) of \(M\) is closed if for every \(b\not\in M\) there is an automorphism of \(M\) that fixes \(X\) pointwise and moves \(b\). \textit{H. Kotlarski} has proved in ``On elementary cuts in recursively saturated models of Peano Arithmetic'' [Fundam. Math. 120, 205-222 (1984; Zbl 0572.03016)] that every countable recursively saturated model of PA has closed elementary cuts, and that all such cuts have to be of the form \(M[b]\). In the same paper Kotlarski proved that for every countable recursively saturated model \(M\) there are countably many nonisomorphic structures of the form \((M,M[b])\). The cuts \(M[b]\) that Kotlarski used in his proof were not closed. In the paper under review a refinement of Kotlarski's technique is applied to prove that for every \(M\) as above there are countably many nonisomorphic structures of the form \((M,M[b])\), where \(M[b]\) is closed in \(M\).
0 references
recursively saturated models of Peano arithmetic
0 references
closed cuts
0 references
elementary cuts
0 references