Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory

DOI10.1016/j.apal.2014.11.001zbMath1371.03089OpenAlexW2023241293MaRDI QIDQ2514846

Kentaro Fujimoto

Publication date: 4 February 2015

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.2014.11.001

zbMATH Keywords

Kripke-Platek set theoryordinal analysisinductive definition\(\Pi_1^1\)-comprehension

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

On the Performance of Axiom Systems ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY

Cites Work

• Proof-theoretic analysis of KPM
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Handbook of proof theory
• Second order theories with ordinals and elementary comprehension
• Autonomous progression and transfinite iteration of self-applicable truth
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item