No label defined (Q4946108)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1421082
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1421082 |
Statements
17 December 2000
0 references
cuppable degree
0 references
\(\Sigma_2\) induction
0 references
\(\Sigma_2\) collection
0 references
fragment of Peano arithmetic
0 references
0.7792180776596069
0 references
0.7776660323143005
0 references
0.7717904448509216
0 references
0.7670744061470032
0 references
A result in recursion theory on fragments of Peano arithmetic. The base theory that the author considers here consists of the basic axioms plus \(\Sigma_2\) collection. A blocking argument is used to show that in any model of the base theory not satisfying \(\Sigma_2\) induction, any nonrecursive r.e. degree \({\mathbf b}\) is low cuppable (in other words, there exists a low r.e. degree whose join with \({\mathbf b}\) is \(\mathbf{0}'\)). On the other hand, the author proves via a tree construction that if \(\Sigma_2\) induction is satisfied, then there exists a nonrecursive r.e. degree that is not cuppable at all. For the entire collection see [Zbl 0923.00014].
0 references
