On elementary theories of ordinal notation systems based on reflection principles (Q281010): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Mladen Vuković / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F25 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6578643 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ordinal notation system | |||
Property / zbMATH Keywords: ordinal notation system / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polymodal provability logic | |||
Property / zbMATH Keywords: polymodal provability logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reflection schemes | |||
Property / zbMATH Keywords: reflection schemes / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
decidability | |||
Property / zbMATH Keywords: decidability / rank | |||
Normal rank |
Revision as of 18:33, 27 June 2023
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