Searching for an analogue of \(\text{ATR}_0\) 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 the normal view instead:
scientific article; zbMATH DE number 7326432
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Searching for an analogue of \(\text{ATR}_0\) 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
0 references
0.7354443669319153
0 references
0.7232489585876465
0 references
0.7221506834030151
0 references
0.7123228311538696
0 references
