Effectively hyperimmune sets and majorants (Q1820774)
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 3995653
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Effectively hyperimmune sets and majorants |
scientific article; zbMATH DE number 3995653 |
Statements
Effectively hyperimmune sets and majorants (English)
0 references
1985
0 references
The main results are: i) every effectively immune set which is a Boolean combination of r.e. sets has Turing degree 0', ii) every effectively hyperimmune set is effectively immune, iii) every infinite set which majorizes all p.r. functions is effectively hyperimmune, iv) every effectively hyperimmune set majorizes all recursive functions.
0 references
effectively immune set
0 references
Turing degree
0 references
effectively hyperimmune set
0 references
recursive functions
0 references
0.7759616374969482
0 references
0.7635571360588074
0 references
0.7618666291236877
0 references
