Effectively hyperimmune sets and majorants (Q1820774): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Q468085 / rank | |||
Property / author | |||
Property / author: Marat M. Arslanov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effectively Simple Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness, the Recursion Theorem, and Effectively Simple Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete Recursively Enumerable Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursively enumerable sets of positive integers and their decision problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5596776 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Post's problem and his hypersimple set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice property of Post's simple set / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:09, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effectively hyperimmune sets and majorants |
scientific article |
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