Switch to: References

Add citations

You must login to add citations.
  1. Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.
    We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
    This paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented. There are then discussions of some interactions between reverse mathematics and the major branches of mathematical logic in terms of the techniques they supply as well as theorems for analysis. The emphasis here is on ones that lie outside the usual main (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • A Lipschitz determinacy principle equivalent to weak König lemma.William Chan - 2023 - Annals of Pure and Applied Logic 174 (3):103213.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Survey of Determinacy of Infinite Games in Second Order Arithmetic.Keisuke Yoshii - 2017 - Annals of the Japan Association for Philosophy of Science 25:35-44.
    Download  
     
    Export citation  
     
    Bookmark  
  • Determinacy of Wadge classes and subsystems of second order arithmetic.Takako Nemoto - 2009 - Mathematical Logic Quarterly 55 (2):154-176.
    In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0*, which consists of the axioms of discrete ordered semi‐rings with exponentiation, Δ10 comprehension and Π00 induction, and which is known as a weaker system than the popularbase theory RCA0: 1. Bisep(Δ10, Σ10)‐Det* ↔ WKL0, 2. Bisep(Δ10, Σ20)‐Det* ↔ (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Reverse mathematics and initial intervals.Emanuele Frittaion & Alberto Marcone - 2014 - Annals of Pure and Applied Logic 165 (3):858-879.
    In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Lipschitz and Wadge binary games in second order arithmetic.Andrés Cordón-Franco, F. Félix Lara-Martín & Manuel J. S. Loureiro - 2023 - Annals of Pure and Applied Logic 174 (9):103301.
    Download  
     
    Export citation  
     
    Bookmark  
  • A characterization of Σ 1 1 -reflecting ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.
    Download  
     
    Export citation  
     
    Bookmark  
  • Determinacy of refinements to the difference hierarchy of co-analytic sets.Chris Le Sueur - 2018 - Annals of Pure and Applied Logic 169 (1):83-115.
    Download  
     
    Export citation  
     
    Bookmark