The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees (Q764275)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees |
scientific article |
Statements
The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees (English)
0 references
13 March 2012
0 references
The paper is devoted to the local theory of \(\omega\)-enumeration degrees. It is proved that the local structure of the enumeration degrees is first-order definable as a substructure of the \(\omega\)-enumeration degrees. The definability of the classes \(H_{n}\) and \(L_{n}\) of the high\(_{n}\) and low\(_{n}\) \(\omega\)-enumeration degrees is shown. The interpretability of the first-order theory of true arithmetic in the local theory of the \(\omega\)-enumeration degrees is deduced.
0 references
enumeration degrees
0 references
\(\omega \)-enumeration degrees
0 references
local theory
0 references
definability
0 references
true arithmetic
0 references