We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
- Authors
Sato, Kentaro
- Abstract
In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ( Δ 0 1 ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ( Δ 0 0 ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov's Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for Δ 0 0 positive operators will also be given.
- Subjects
MATHEMATICAL induction; REVERSE mathematics; FINITE, The; CONSTRUCTIVE mathematics; FOULING; POSITIVE operators
- Publication
Archive for Mathematical Logic, 2022, Vol 61, Issue 3/4, p399
- ISSN
0933-5846
- Publication type
Article
- DOI
10.1007/s00153-021-00795-2