The following pages link to Wilfried Buchholz (Q204229):
Displaying 34 items.
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators) (Q1101106) (← links)
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies (Q1166517) (← links)
- An intuitionistic fixed point theory (Q1386672) (← links)
- Proof-theoretic analysis of termination proofs (Q1899143) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- Notation systems for infinitary derivations (Q2277451) (← links)
- A term calculus for (co-)recursive definitions on streamlike data structures (Q2566066) (← links)
- Finitary treatment of operator controlled derivations (Q2743649) (← links)
- (Q3081641) (← links)
- (Q3138829) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- (Q3472100) (← links)
- (Q3690813) (← links)
- (Q3773880) (← links)
- (Q3926576) (← links)
- (Q4040375) (← links)
- Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik (Q4077989) (← links)
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$ (Q4106173) (← links)
- (Q4109654) (← links)
- Über Teilsysteme von $$\bar \Theta $$ ({g}) (Q4140960) (← links)
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions (Q4198748) (← links)
- (Q4281248) (← links)
- A Uniform Approach to Fundamental Sequences and Hierarchies (Q4304112) (← links)
- (Q4364500) (← links)
- A note on SLDNF-resolution (Q4399716) (← links)
- (Q4793023) (← links)
- (Q4981441) (← links)
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- On Gentzen’s First Consistency Proof for Arithmetic (Q5361245) (← links)
- Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050) (← links)
- Refined program extraction from classical proofs (Q5957850) (← links)
