Arithmetical Sacks forcing (Q2505505): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Degrees bounding minimal degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal degrees recursive in 1-generic degrees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(\Pi{}^ 0_ 1\) classes and their ranked points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The degrees below a 1-generic degree < <b>0</b>′ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A 1-generic degree which bounds a minimal degree / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3329452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On degrees of recursive unsolvability / rank | |||
Normal rank |
Latest revision as of 20:50, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Arithmetical Sacks forcing |
scientific article |
Statements
Arithmetical Sacks forcing (English)
0 references
26 September 2006
0 references
The authors construct a hyperimmune-free minimal degree below a 1-generic degree, thereby settling a question posed by Jockusch. In fact, they indicate how to accomplish this so that the degrees lie below \(\mathbf{0''}\). The paper's title refers to the construction method they introduce, which is based on computable perfect trees. They also show that, in contrast, there exists a hyperimmune-free degree \(\mathbf m\) not below any 1-generic degree, and they sketch a proof that \(\mathbf m\) may even be chosen to be minimal and below \(\mathbf{0''}\).
0 references
Sacks forcing
0 references
hyperimmune-freeness
0 references
minimal degree
0 references