Ergodic Undefinability in Set Theory and Recursion Theory (Q3926571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ergodic Undefinability in Set Theory and Recursion Theory |
scientific article |
Statements
1981
0 references
global choice
0 references
Birkhoff theorem
0 references
randomness
0 references
genericity
0 references
random hyperarithmetic sequence
0 references
undefinability
0 references
Ergodic Undefinability in Set Theory and Recursion Theory (English)
0 references
