Iterated Inductive Definitions Revisited

DOI10.1007/978-3-319-63334-3_9zbMath1429.03200OpenAlexW2794927041MaRDI QIDQ5214787

Wolfram Pohlers

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_9

zbMATH Keywords

cut-eliminationordinal analysisinductive definitionsprovably recursive functions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

On the Performance of Axiom Systems

Cites Work

• Proof theory. The first step into impredicativity
• Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Applications of cut-free infinitary derivations to generalized recursion theory
• Proof theory of reflection
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• From Subsystems of Analysis to Subsystems of Set Theory
• Functional interpretation and inductive definitions
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Hilbert’s Programme and Ordinal Analysis
• A system of abstract constructive ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterated Inductive Definitions Revisited