On elementary theories of ordinal notation systems based on reflection principles (Q281010): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q2120975 |
Changed an Item |
||
Property / author | |||
Property / author: Fedor N. Pakhomov / rank | |||
Normal rank |
Revision as of 11:09, 1 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On elementary theories of ordinal notation systems based on reflection principles |
scientific article |
Statements
On elementary theories of ordinal notation systems based on reflection principles (English)
0 references
10 May 2016
0 references
There are several different ``natural'' ordinal systems for the ordinals below \(\varepsilon_0\) [\textit{G. Lee}, Ann. Pure Appl. Logic 147, No. 1--2, 48--70 (2007; Zbl 1121.03080)] which are of interest in the proof-theoretic analysis of Peano arithmetic. In [Arch. Math. Logic 42, 515--552 (2003; Zbl 1026.03041); Ann. Pure App. Logic 12, 103--123 (2004; Zbl 1048.03045)], \textit{L. D. Beklemishev} has introduced a constructive ordinal notation system for the ordinal \(\varepsilon_0\). In the paper under review, this system and its fragments for smaller ordinals \(\omega_n\) (towers of \(\omega\)-exponentiations of height \(n\)) are considered. These systems are based on polymodal provability logic \textbf{GLP}. It is proved that the full system and its fragments for ordinals \(\geq \omega_4\) have undecidable elementary theories. Further, the fragments of the full system for ordinals \(\leq \omega_3\) have decidable elementary theories. At the end, the decidability of the elementary theory for ordinal notation systems with weaker signatures is proved.
0 references
ordinal notation system
0 references
polymodal provability logic
0 references
reflection schemes
0 references
decidability
0 references