Iterated Inductive Definitions Revisited
From MaRDI portal
Publication:5214787
DOI10.1007/978-3-319-63334-3_9zbMath1429.03200OpenAlexW2794927041MaRDI QIDQ5214787
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
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)
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