SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746)
From MaRDI portal
scientific article; zbMATH DE number 7326432
Language | Label | Description | Also known as |
---|---|---|---|
English | SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE |
scientific article; zbMATH DE number 7326432 |
Statements
SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (English)
0 references
19 March 2021
0 references
Weihrauch degrees
0 references
perfect set theorem
0 references
open determinacy
0 references
clopen determinacy
0 references
comparability of well-orders
0 references
ATR
0 references
CWO
0 references
closed choice
0 references
reverse mathematics
0 references
0 references