A Lipschitz determinacy principle equivalent to weak König lemma

DOI10.1016/j.apal.2022.103213OpenAlexW4309880415WikidataQ125018413 ScholiaQ125018413MaRDI QIDQ2111115

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The limits of determinacy in second order arithmetic: consistency and complexity strength
• Structural Consequences of AD
• Determinacy in L(ℝ)
• Large Cardinals from Determinacy
• The limits of determinacy in second-order arithmetic
• Slicing the Truth
• An introduction to combinatorics of determinacy
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Determinacy of Wadge classes and subsystems of second order arithmetic
• A Proof of Projective Determinacy
• Determinateness and the separation property
• Analytic determinacy and 0^#
• Definable combinatorics at the first uncountable cardinal
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Higher set theory and mathematical practice
• Measurable cardinals and analytic games
• A Survey of Determinacy of Infinite Games in Second Order Arithmetic
• Lipschitz and Wadge binary games in second order arithmetic

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