Wilfried Buchholz

According to our database, Wilfried Buchholz authored at least 21 papers between 1954 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Preface.

Wilfried Buchholz, Reinhard Kahle

Ann. Pure Appl. Log., 2005

A term calculus for (co-)recursive definitions on streamlike data structures.

Wilfried Buchholz

Ann. Pure Appl. Log., 2005

2002

Refined program extraction form classical proofs.

Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg

Ann. Pure Appl. Log., 2002

2001

Finitary Treatment of Operator Controlled Derivations.

Wilfried Buchholz

Math. Log. Q., 2001

Explaining the Gentzen-Takeuti reduction steps: a second-order system.

Wilfried Buchholz

Arch. Math. Log., 2001

1998

A Note on SLDNF-Resolution.

Wilfried Buchholz

J. Log. Comput., 1998

1997

An intuitionistic fixed point theory.

Wilfried Buchholz

Arch. Math. Log., 1997

Explaining Gentzen's Consistency Proof within Infinitary Proof Theory.

Wilfried Buchholz

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

Epsilon substitution method for elementary analysis.

Grigori Mints, Sergei Tupailo, Wilfried Buchholz

Arch. Math. Log., 1996

1995

Proof-Theoretic Analysis of Termination Proofs.

Wilfried Buchholz

Ann. Pure Appl. Log., 1995

1994

A Uniform Approach to Fundamental Sequences and Hierarchies.

Adam Cichon, Wilfried Buchholz, Andreas Weiermann

Math. Log. Q., 1994

1991

Notation systems for infinitary derivations.

Wilfried Buchholz

Arch. Math. Log., 1991

1988

Induktive Definitionen und Dilatoren.

Wilfried Buchholz

Arch. Math. Log., 1988

1987

An independence result for (II₁¹-CA)+BI.

Wilfried Buchholz

Ann. Pure Appl. Log., 1987

1986

A new system of proof-theoretic ordinal functions.

Wilfried Buchholz

Ann. Pure Appl. Log., 1986

1978

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions.

Wilfried Buchholz, Wolfram Pohlers

J. Symb. Log., 1978

1975

Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω).

Wilfried Buchholz, Kurt Schütte

Arch. Math. Log., 1975

Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik.

Wilfried Buchholz

Arch. Math. Log., 1975

1959

Fingers or Fists? (The Choice of Decimal or Binary Representation).

Wilfried Buchholz

Commun. ACM, 1959

Processing data in bits and pieces.

Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz

Proceedings of the Information Processing, 1959

1954

The IBM Type 702, An Electronic Data Processing Machine for Business

Charles J. Bashe, Wilfried Buchholz, Nathaniel Rochester

J. ACM, October, 1954