Wilfried Buchholz

Available identifiers

zbMath Open buchholz.wilfriedMaRDI QIDQ204229

List of research outcomes

Publication	Date of Publication	Type
A Note on (Meta)predicative Wellordering Proofs	2021-12-03	Paper
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal	2020-08-07	Paper
A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal	2020-02-05	Paper
On Gentzen’s First Consistency Proof for Arithmetic	2017-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4981441	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3081641	2011-03-09	Paper
A term calculus for (co-)recursive definitions on streamlike data structures	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4793023	2003-02-18	Paper
Refined program extraction from classical proofs	2002-09-16	Paper
Finitary treatment of operator controlled derivations	2002-06-03	Paper
Explaining the Gentzen-Takeuti reduction steps: A second-order system	2002-04-02	Paper
An intuitionistic fixed point theory	1998-12-14	Paper
A note on SLDNF-resolution	1998-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4364500	1998-03-23	Paper
Epsilon substitution method for elementary analysis	1996-10-15	Paper
Proof-theoretic analysis of termination proofs	1996-08-27	Paper
A Uniform Approach to Fundamental Sequences and Hierarchies	1995-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4281248	1994-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q3138829	1994-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4040375	1993-06-05	Paper
Notation systems for infinitary derivations	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3472100	1990-01-01	Paper
Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)	1988-01-01	Paper
An independence result for \((\Pi^ 1_ 1-CA)+BI\)	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773880	1987-01-01	Paper
A new system of proof-theoretic ordinal functions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690813	1984-01-01	Paper
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926576	1981-01-01	Paper
Provable wellorderings of formal theories for transfinitely iterated inductive definitions	1978-01-01	Paper
Über Teilsysteme von $$\bar \Theta $$ ({g})	1976-01-01	Paper
Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109654	1975-01-01	Paper
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik	1975-01-01	Paper

Research outcomes over time

This page was built for person: Wilfried Buchholz