Forcing with bushy trees (Q5363371)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Forcing with bushy trees |
scientific article; zbMATH DE number 6786769
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7282493114471436
0 references
0.7118613123893738
0 references
0.7065544724464417
0 references
0.7044730186462402
0 references
0.6979097127914429
0 references