Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives |
scientific article |
Statements
Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (English)
0 references
9 January 2020
0 references
second-order set theory
0 references
higher order arithmetic
0 references
inductive definition
0 references
consistency strength
0 references
open determinacy
0 references
Hausdorff-Kuratowski difference hierarchy
0 references
0 references
0 references
0 references
0 references
