A note on a theorem of Kanovei (Q701750): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
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.1007/s00153-004-0218-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980979166 / rank | |||
Normal rank |
Latest revision as of 21:12, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on a theorem of Kanovei |
scientific article |
Statements
A note on a theorem of Kanovei (English)
0 references
16 December 2004
0 references
The author gives a new proof of a theorem of \textit{V. Kanovei} [``On `star' schemata of Kossak and Paris'', Lect. Notes Log. 12, 101--114 (1998; Zbl 0917.03019)]. Using the standard notations of elementary Peano arithmetic [see the book of \textit{P. Hájek} and \textit{P. Pudlák}, Metamathematics of first-order arithmetic. Berlin: Springer (1998; Zbl 0889.03053)], the theorem is formulated in the following way. Theorem 0.3. Let \(M\) be a countable recursively saturated model of PA. Then, for each \(n>0\), (i) \(M\) has an elementary end extension \(N\) such that \[ (M,SSy(N/M))\models I\Sigma_n+\neg B{\Sigma}_{n+1}; \] (ii) \(M\) has an elementary end extension \(N\) such that \[ (M,SSy(N/M))\models B\Sigma_n+\neg I{\Sigma}_n. \] In the note, only statement (i) and only in the case \(n>1\) are proved because the case \(n=1\) was already proved [\textit{R.Kossak} and \textit{J. B.Paris}, ``Subsets of models of arithmetic'', Arch. Math. Logic 32, 65--73 (1992; Zbl 0786.03027)]. In the final part, the author poses an open problem: Characterize the class of countable models of PA for which Theorem 0.3 holds.
0 references
models of Peano arithmetic
0 references
standard systems
0 references
end extensions
0 references
fragments of arithmetic
0 references