Higher randomness and forcing with closed sets (Q2965517)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6691433
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Higher randomness and forcing with closed sets |
scientific article; zbMATH DE number 6691433 |
Statements
3 March 2017
0 references
effective descriptive set theory
0 references
higher computability
0 references
effective randomness
0 references
genericity
0 references
Higher randomness and forcing with closed sets (English)
0 references
0.9965453743934632
0 references
0.7578691244125366
0 references
0.7556833028793335
0 references
0.7506138682365417
0 references
0.7433703541755676
0 references
