SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE (Q5855746)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: SEARCHING FOR AN ANALOGUE OF ATR0 IN THE WEIHRAUCH LATTICE |
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
