A note on multiple inductive definitions

MaRDI QIDQ3567855zbMATH OpenFDO

Authors Kazuyuki Tanaka

Publication date 17 June 2010

zbMATH Keywords

determinacyreverse mathematicsinductive definition\(\Delta^1_2\)-ID\(\Pi^1_2\)-CA

Mathematics Subject Classification ID

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

Recommendations

• Weak determinacy and iterations of inductive definitions
• Infinite games and transfinite recursion of multiple inductive definitions
• Proof-theoretic strengths of weak theories for positive inductive definitions
• Induction and inductive definitions in fragments of second order arithmetic
• Full and hat inductive definitions are equivalent in NBG

Cited in

(4)

• Weak determinacy and iterations of inductive definitions
• Passive induction and a solution to a Paris-Wilkie open question
• A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS
• Variations on inductive-recursive definitions

This page was built for publication: A note on multiple inductive definitions

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