Lipschitz determinacy and arithmetic transfinite recursion

DOI10.1007/978-3-031-64309-5_23MaRDI QIDQ7030898zbMATH OpenFDO

Authors Andrés Cordón-Franco, F. Félix Lara Martin, Manuel J. S. Loureiro

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-64309-5_23

zbMATH Keywords

determinacyLipschitz gamesreverse mathematicssemilinear ordering principle

Mathematics Subject Classification ID

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

Cites work

• Borel Classes and Closed Games: Wadge-Type and Hurewicz-Type Results
• scientific article; zbMATH DE number 2236636 (Why is no real title available?)
• Infinite games in the Cantor space and subsystems of second order arithmetic
• Lipschitz and Wadge binary games in second order arithmetic
• Ranked structures and arithmetic transfinite recursion
• Reverse mathematics and rank functions for directed graphs
• Subsystems of second order arithmetic
• The limits of determinacy in second-order arithmetic

This page was built for publication: Lipschitz determinacy and arithmetic transfinite recursion

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