RANDOMNESS IN THE HIGHER SETTING (Q2795912)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RANDOMNESS IN THE HIGHER SETTING |
scientific article |
Statements
RANDOMNESS IN THE HIGHER SETTING (English)
0 references
22 March 2016
0 references
hyperarithmetic theory
0 references
hyperdegrees
0 references
\(\Pi^{1}_{1}\) randomness
0 references
\(\Pi^{1}_{1}\) Martin-Löf randomness
0 references
lowness for higher randomness
0 references
