Gordeev, L. On cut elimination in the presence of Peirce rule. (English) Zbl 0639.03059 Arch. Math. Logik Grundlagenforsch. 26, 147-164 (1987). Reviewer: O.Sonobe MSC: 03F05 03F20 03B10 PDFBibTeX XMLCite \textit{L. Gordeev}, Arch. Math. Logik Grundlagenforsch. 26, 147--164 (1987; Zbl 0639.03059) Full Text: DOI EuDML
Weispfenning, Volker Quantifier elimination for modules. (English) Zbl 0609.03011 Arch. Math. Logik Grundlagenforsch. 25, 1-11 (1985). Reviewer: P.Rothmaler MSC: 03C10 03C60 13L05 13C05 13F05 PDFBibTeX XMLCite \textit{V. Weispfenning}, Arch. Math. Logik Grundlagenforsch. 25, 1--11 (1985; Zbl 0609.03011) Full Text: DOI EuDML
Girard, J. Y.; Vauzeilles, J. Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. (French) Zbl 0556.03043 Arch. Math. Logik Grundlagenforsch. 24, 167-191 (1984). MSC: 03F10 03F15 03D60 03F05 03D65 PDFBibTeX XMLCite \textit{J. Y. Girard} and \textit{J. Vauzeilles}, Arch. Math. Logik Grundlagenforsch. 24, 167--191 (1984; Zbl 0556.03043) Full Text: DOI EuDML
López-Escobar, E. G. K. Further applications of ultra-conservative \(\omega\)-rules. (English) Zbl 0535.03030 Arch. Math. Logik Grundlagenforsch. 22, 89-102 (1982). Reviewer: W.Howard MSC: 03F05 PDFBibTeX XMLCite \textit{E. G. K. López-Escobar}, Arch. Math. Logik Grundlagenforsch. 22, 89--102 (1982; Zbl 0535.03030) Full Text: DOI EuDML
Schmerl, Ulf R. A proof theoretical fine structure in systems of ramified analysis. (English) Zbl 0506.03016 Arch. Math. Logik Grundlagenforsch. 22, 167-186 (1982). MSC: 03F05 PDFBibTeX XMLCite \textit{U. R. Schmerl}, Arch. Math. Logik Grundlagenforsch. 22, 167--186 (1982; Zbl 0506.03016) Full Text: EuDML
Pohlers, W. Cut elimination for impredicative infinitary systems. II. Ordinal analysis for iterated inductive definitions. (English) Zbl 0497.03043 Arch. Math. Logik Grundlagenforsch. 22, 69-87 (1982). MSC: 03F05 03D70 PDFBibTeX XMLCite \textit{W. Pohlers}, Arch. Math. Logik Grundlagenforsch. 22, 69--87 (1982; Zbl 0497.03043) Full Text: DOI EuDML
Jäger, Gerhard Beweistheorie von KPN. (German) Zbl 0439.03043 Arch. Math. Logik Grundlagenforsch. 20, 53-63 (1980). MSC: 03F05 03F25 03E30 PDFBibTeX XMLCite \textit{G. Jäger}, Arch. Math. Logik Grundlagenforsch. 20, 53--63 (1980; Zbl 0439.03043) Full Text: DOI EuDML
Sonenberg, E. A. On the elementary theory of inductive order. (English) Zbl 0395.03023 Arch. Math. Logik Grundlagenforsch. 19, 13-22 (1978). MSC: 03C10 03C65 03B25 03G05 PDFBibTeX XMLCite \textit{E. A. Sonenberg}, Arch. Math. Logik Grundlagenforsch. 19, 13--22 (1978; Zbl 0395.03023) Full Text: DOI EuDML