A Lipschitz determinacy principle equivalent to weak König lemma

DOI10.1016/J.APAL.2022.103213OpenAlexW4309880415WikidataQ125018413 ScholiaQ125018413MaRDI QIDQ2111115FDOQ2111115

Authors Yanyan Li 

Publication date 23 December 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2022.103213

zbMATH Keywords

determinacyLipschitz gamessubsystem of second order arithemeticweak König lemma

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Descriptive set theory (03E15) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Recommendations

• Determinacy of Wadge classes and subsystems of second order arithmetic
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Weak determinacy and iterations of inductive definitions
• Measure theory and weak König's lemma
• Weak axioms of determinacy and subsystems of analysis I: δ20 games

Cites work

• scientific article; zbMATH DE number 4061224 (Why is no real title available?)
• scientific article; zbMATH DE number 3781160 (Why is no real title available?)
• scientific article; zbMATH DE number 3609660 (Why is no real title available?)
• A Proof of Projective Determinacy
• A Survey of Determinacy of Infinite Games in Second Order Arithmetic
• An introduction to combinatorics of determinacy
• Analytic determinacy and 0^#
• Definable combinatorics at the first uncountable cardinal
• Determinacy in L(ℝ)
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Determinateness and the separation property
• Higher set theory and mathematical practice
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Large cardinals from determinacy
• Lipschitz and Wadge binary games in second order arithmetic
• Measurable cardinals and analytic games
• Slicing the truth. On the computable and reverse mathematics of combinatorial principles
• Structural consequences of AD
• Subsystems of second order arithmetic
• The limits of determinacy in second order arithmetic: consistency and complexity strength
• The limits of determinacy in second-order arithmetic
• Weak axioms of determinacy and subsystems of analysis I: δ20 games

Cited in

(5)

• On uniform weak König's lemma
• Equivalence between Wadge and Lipschitz determinacy
• Some conservation results on weak König's lemma
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• The determinacy strength of \(\Pi_2^1\)-comprehension

This page was built for publication: A Lipschitz determinacy principle equivalent to weak König lemma

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2111115)