Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions

DOI10.1016/j.apal.2008.06.014zbMath1153.03041OpenAlexW2045943419MaRDI QIDQ958493

Wolfram Pohlers

Publication date: 5 December 2008

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

zbMATH Keywords

ordinal analysissubsystems of second-order arithmeticnon-monotone inductive definitionsproof-theoretic ordinalssubsystems of set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

On the Performance of Axiom Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Elementary induction on abstract structures
• Applications of cut-free infinitary derivations to generalized recursion theory
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• On nonmonotone inductive definability
• Infinitary logic and admissible sets