Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts |
scientific article |
Statements
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (English)
0 references
14 June 2022
0 references
inductive definition
0 references
bounded positive operator
0 references
constructive reverse mathematics
0 references
semi-classical principles
0 references
Markov's principle
0 references
Lesser limited principle of omniscience
0 references
0 references
0 references
0 references
0 references
