scientific article

zbMath0653.03039MaRDI QIDQ4040375

Wilfried Buchholz, Kurt Schütte

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theoryordinal notationssubsystems of analysisproof-theoretic ordinalssecond-order theories

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Related Items

Proof theory of reflection ⋮ An extension of the omega-rule ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ The role of parameters in bar rule and bar induction ⋮ Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones ⋮ Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition ⋮ Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience ⋮ A Buchholz rule for modal fixed point logics ⋮ Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems ⋮ Ordinal notations based on a weakly Mahlo cardinal ⋮ A slow growing analogue to Buchholz' proof ⋮ A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ An order-theoretic characterization of the Howard-Bachmann-hierarchy ⋮ Well-partial-orderings and the big Veblen number ⋮ Proof-theoretic investigations on Kruskal's theorem ⋮ Elementary patterns of resemblance ⋮ Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees ⋮ Two applications of analytic functors ⋮ Ordinal analysis by transformations ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ Patterns of resemblance of order 2 ⋮ MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics ⋮ A flexible type system for the small Veblen ordinal ⋮ Induction and inductive definitions in fragments of second order arithmetic ⋮ Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger ⋮ A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection ⋮ Well-ordering proofs for Martin-Löf type theory ⋮ Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension ⋮ Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion ⋮ Proof-theoretic analysis of KPM ⋮ Lorenzen and Constructive Mathematics ⋮ Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM ⋮ A proof-theoretical analysis of ptykes