Transfinite recursion in higher reverse mathematics (Q3450810)
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 6506063
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Transfinite recursion in higher reverse mathematics |
scientific article; zbMATH DE number 6506063 |
Statements
TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (English)
0 references
9 November 2015
0 references
reverse mathematics
0 references
higher reverse mathematics
0 references
determinacy
0 references
Steel-type forcing
0 references
tagged tree
0 references
ATR
0 references
clopen determinacy
0 references
open determinacy
0 references
separation
0 references
CWO
0 references
0.7799657583236694
0 references
0.7666746377944946
0 references
0.7524853944778442
0 references
0.7439593076705933
0 references
