Ordinals connected with formal theories for transfinitely iterated inductive definitions

DOI10.2307/2272816zbMath0394.03049OpenAlexW2039639438MaRDI QIDQ4175275

Wolfram Pohlers

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272816

zbMATH Keywords

Proof TheoryOrdinalsFormal Theories for Transfinitely Iterated Inductive Definitions

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Related Items (9)

A new system of proof-theoretic ordinal functions ⋮ Beweistheoretische Abgrenzung von Teilsystemen der Analysis ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Über Teilsysteme von $$\bar \Theta $$ ({g}) ⋮ Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory ⋮ Iterated Inductive Definitions Revisited ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

Cites Work

• Unnamed Item
• Unnamed Item
• Consistency proofs of subsystems of classical analysis
• On provably recursive functions and ordinal recursive functions
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Ein Bezeichnungssystem für Ordinalzahlen
• The consistency of arithmetics

This page was built for publication: Ordinals connected with formal theories for transfinitely iterated inductive definitions