Infima in the d.r.e. degrees (Q685080): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(93)90238-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2010338821 / rank | |||
Normal rank |
Revision as of 22:01, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infima in the d.r.e. degrees |
scientific article |
Statements
Infima in the d.r.e. degrees (English)
0 references
22 September 1993
0 references
The reviewed paper is a selection from the author's Ph.D. thesis and is devoted to the study of n-r.e. set degrees. Several important properties of the infima operation on such degrees are obtained. For example, the branching of every low r.e. degree in \(D_ n\) for \(n\geq 2\) is proved. The same does not hold for \(\text{low}_ 2\) r.e. degrees. As a corollary to the first theorem, the embedding of the finite lattice \(S_ 8\) is obtained. This gives an additional example of the property distinguishing the elementary theories of \(D_ 1\) and \(D_ 2\).
0 references
d.r.e. set
0 references
Turing degree
0 references
embedding of finite lattice \(S_ 8\)
0 references
infima
0 references
branching
0 references