Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \({\mathcal E}_{s}\) and \({\mathcal E}_{w}\) denote, respectively, the lattice of Medvedev degrees and the lattice of Muchnik degrees of non-empty \(\Pi^{0}_{1}\) subsets of \(2^{\omega}\). It is shown in the paper that (1) the first-order theory of \({\mathcal E}_{s}\) as a partial order is recursively isomorphic to the first-order theory of true arithmetic; (2) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{s}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{s}\) as a partial order are undecidable; (3) the degree of \({\mathcal E}_{s}\) as a lattice is \({\mathbf 0}'''\) in the sense that \({\mathbf 0}'''\) computes a presentation of \({\mathcal E}_{s}\) and that every presentation of \({\mathcal E}_{s}\) computes \({\mathbf 0}'''\); (4) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{w}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{w}\) as a partial order are undecidable. | |||
Property / review text: Let \({\mathcal E}_{s}\) and \({\mathcal E}_{w}\) denote, respectively, the lattice of Medvedev degrees and the lattice of Muchnik degrees of non-empty \(\Pi^{0}_{1}\) subsets of \(2^{\omega}\). It is shown in the paper that (1) the first-order theory of \({\mathcal E}_{s}\) as a partial order is recursively isomorphic to the first-order theory of true arithmetic; (2) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{s}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{s}\) as a partial order are undecidable; (3) the degree of \({\mathcal E}_{s}\) as a lattice is \({\mathbf 0}'''\) in the sense that \({\mathbf 0}'''\) computes a presentation of \({\mathcal E}_{s}\) and that every presentation of \({\mathcal E}_{s}\) computes \({\mathbf 0}'''\); (4) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{w}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{w}\) as a partial order are undecidable. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Roman Murawski / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03D30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03D35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6023581 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Medvedev degrees | |||
Property / zbMATH Keywords: Medvedev degrees / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Muchnik degrees | |||
Property / zbMATH Keywords: Muchnik degrees / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
true arithmetic | |||
Property / zbMATH Keywords: true arithmetic / rank | |||
Normal rank |
Revision as of 19:12, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes |
scientific article |
Statements
Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (English)
0 references
13 April 2012
0 references
Let \({\mathcal E}_{s}\) and \({\mathcal E}_{w}\) denote, respectively, the lattice of Medvedev degrees and the lattice of Muchnik degrees of non-empty \(\Pi^{0}_{1}\) subsets of \(2^{\omega}\). It is shown in the paper that (1) the first-order theory of \({\mathcal E}_{s}\) as a partial order is recursively isomorphic to the first-order theory of true arithmetic; (2) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{s}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{s}\) as a partial order are undecidable; (3) the degree of \({\mathcal E}_{s}\) as a lattice is \({\mathbf 0}'''\) in the sense that \({\mathbf 0}'''\) computes a presentation of \({\mathcal E}_{s}\) and that every presentation of \({\mathcal E}_{s}\) computes \({\mathbf 0}'''\); (4) the \(\Sigma^{0}_{3}\)-theory of \({\mathcal E}_{w}\) as a lattice and the \(\Sigma^{0}_{4}\)-theory of \({\mathcal E}_{w}\) as a partial order are undecidable.
0 references
Medvedev degrees
0 references
Muchnik degrees
0 references
true arithmetic
0 references