Cone avoiding closed sets (Q5496642)
From MaRDI portal
scientific article; zbMATH DE number 6394280
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cone avoiding closed sets |
scientific article; zbMATH DE number 6394280 |
Statements
Cone avoiding closed sets (English)
0 references
2 February 2015
0 references
Ramsey's theorem
0 references
weak weak König's lemma
0 references
Martin-Löf randomness
0 references
randomness extraction
0 references
0 references
