Lipschitz and Wadge binary games in second order arithmetic

DOI10.1016/j.apal.2023.103301OpenAlexW3170163788MaRDI QIDQ6109090

Andrés Cordón-Franco, Manuel J. S. Loureiro, F. F. Lara-Martín

Publication date: 26 July 2023

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

Full work available at URL: http://hdl.handle.net/10437/13951

zbMATH Keywords

reverse mathematicsdeterminacyWadge gamessemilinear ordering principle

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)

Related Items (1)

A Lipschitz determinacy principle equivalent to weak König lemma

Cites Work

• Unnamed Item
• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• More on Wadge determinacy
• Equivalence between Wadge and Lipschitz determinacy
• Fundamental notions of analysis in subsystems of second-order arithmetic
• The limits of determinacy in second-order arithmetic
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results
• Infinite games in the Cantor space and subsystems of second order arithmetic

This page was built for publication: Lipschitz and Wadge binary games in second order arithmetic