Weak determinacy and iterations of inductive definitions

MaRDI QIDQ3530407zbMATHFDO

Authors Medyahya Ould Medsalem, Kazuyuki Tanaka

Publication date 20 October 2008

zbMATH Keywords

determinacyreverse mathematicsinductive definition

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Recommendations

• Δ₃^O-determinacy, comprehension and induction
• Infinite games and transfinite recursion of multiple inductive definitions
• A note on multiple inductive definitions
• The determinacy strength of \(\Pi_2^1\)-comprehension
• Weak systems of determinacy and arithmetical quasi-inductive definitions

Cited in

(19)

• Complete Determinacy and Subsystems of Second Order Arithmetic
• A characterization of \(\Sigma_1^1\)-reflecting ordinals
• Template iterations with non-definable ccc forcing notions
• A Lipschitz determinacy principle equivalent to weak König lemma
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Open determinacy for class games
• scientific article; zbMATH DE number 1342277 (Why is no real title available?)
• scientific article; zbMATH DE number 2186968 (Why is no real title available?)
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• Transfinite recursion in higher reverse mathematics
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Countably many weakenings of Belnap-Dunn logic
• Determinacy and monotone inductive definitions
• Weak assumption and iterative admissibility
• Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
• Infinite games and transfinite recursion of multiple inductive definitions
• Infinite games in the Cantor space and subsystems of second order arithmetic
• The determinacy strength of \(\Pi_2^1\)-comprehension
• A note on multiple inductive definitions

This page was built for publication: Weak determinacy and iterations of inductive definitions

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