FORCING WITH BUSHY TREES (Q5363371)
From MaRDI portal
scientific article; zbMATH DE number 6786769
Language | Label | Description | Also known as |
---|---|---|---|
English | FORCING WITH BUSHY TREES |
scientific article; zbMATH DE number 6786769 |
Statements
FORCING WITH BUSHY TREES (English)
0 references
6 October 2017
0 references
diagonally noncomputable functions
0 references
bushy tree forcing
0 references
minimal degrees
0 references
algorithmic randomness
0 references
0 references