1. W. Buchholz, A new system of proof-theoretic ordinal functions, in prepartion. (See also [1a].)
2. W. Buchholz, An independence result for (Π11-CA)+BI, Annals of Pure and Applied Logic, to appear.
3. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies;Buchholz,1981
4. Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Π12-Separation und Bar-Induktion;Buchholz,1983
5. W. Buchholz and K. Schütte, Proof Theoretic Ordinals of Impredicative Subsystems of Analysis, in preparation.