TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810)
From MaRDI portal
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
