![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 17
2016
Buchholz, Wilfried
(2016):
A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal.
In: Kahle, Reinhard; Strahm, Thomas und Studer, Thomas (Hrsg.):
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 1-29
1994
Buchholz, Wilfried; Cichon, A. und Weiermann, A.
(20. August 1994):
A uniform approach to fundamental sequences and hierarchies.
In: Mathematical Logic Quarterly, Nr. 40: S. 273-286
[PDF, 689kB]
1992
Buchholz, Wilfried
(1992):
A simplified version of local predicativity.
In: Aczel, Peter; Simmons, Harold und Wainer, Stanley S. (Hrsg.):
Proof theory. Leeds: Cambridge University Press. S. 117-147
[PDF, 1MB]
1991
Buchholz, Wilfried
(September 1991):
Notation systems for infinitary derivations.
In: Archive for Mathematical Logic, Nr. 30: S. 277-296
[PDF, 967kB]
Buchholz, Wilfried
(1991):
A note on the ordinal analysis of KPM.
In: Oikonen, Väänänen (Hrsg.):
Logic Colloquium 90`, Springer Lecture Notes in Logic. Bd. 2. Springer. S. 1-9
[PDF, 881kB]
1990
Buchholz, Wilfried und Sieg, W.
(1990):
A note on polynomial time computable arithmetic.
In:
American Mathematical Society (Hrsg.),
Logic and Computation. Bd. 106. Providence, RI: S. 51-55
[PDF, 695kB]
1988
Buchholz, Wilfried
(März 1988):
Induktive Definitionen und Dilatoren.
In: Archive for Mathematical Logic, Nr. 27: S. 51-60
[PDF, 483kB]
1987
Buchholz, Wilfried
(1987):
An independence result for (II1-CA)+BI.
In: Annals of pure and applied logic, Bd. 33: S. 131-155
[PDF, 1MB]
Wainer, S. und Buchholz, Wilfried
(1987):
Provably computable functions and the fast growing hierarchy.
In: Simpson, Stephen G. (Hrsg.):
Contemporary Mathematics. Bd. 65. Providence, RI: S. 179-198
[PDF, 1MB]
1986
Buchholz, Wilfried
(1986):
A new system of proof-theoretic ordinal functions.
In: Annals of pure and applied logic, Bd. 32: S. 195-207
[PDF, 951kB]
1983
Buchholz, Wilfried und Schütte, K.
(1983):
Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der pi-1/2-Separation und Bar-Induktion.
München: Verlag der Bayerischen Akademie der Wissenschaften.
[PDF, 1MB]
1980
Buchholz, Wilfried und Schütte, Kurt
(1980):
Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta-Analysis.
München: Verlag der Bayerischen Akademie der Wissenschaften.
[PDF, 2MB]
1978
Buchholz, Wilfried und Pohlers, W.
(1978):
Provable wellorderings of formal theories for transfinitely iterated inductive definitions.
In: Journal of symbolic logic, Bd. 43, Nr. 1: S. 118-125
[PDF, 1MB]
1976
Buchholz, Wilfried
(1976):
Über Teilsysteme von _.
In: Archiv für mathematische Logik und Grundlagenforschung, Bd. 18: S. 85-98
[PDF, 886kB]
Buchholz, Wilfried und Schütte, K.
(1976):
Die Beziehungen zwischen den Ordinalsystemen und.
In: Archiv für mathematische Logik und Grundlagenforschung, Bd. 17: S. 179-190
[PDF, 900kB]
1975
Buchholz, Wilfried
(1975):
Normalfunktion und konstruktive Systeme von Ordinalzahlen.
In: Diller, Justus und Müller, Gert Heinz (Hrsg.):
Springer lecture notes in mathematics - Proof theory symposium. Bd. 500. Springer. S. 4-25
[PDF, 1MB]
Buchholz, Wilfried
(1975):
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
In: Archiv für mathematische Logik und Grundlagenforschung, Bd. 17: S. 55-60
[PDF, 509kB]