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 this page instead for the normal view: TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS |
scientific article |
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
