References
Ackermann, W.: Zur Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann.117, 162–194 (1940).
Gentzen, G.: Neue Fassung des Widerspruchfreiheitbeweises für die reine Zahlentheorie. Forschungen zur Logik und Grundlegung der exakten Wissenschaften, Neue Folge, (1938).
Harrop, R.: Concerning formulas of typesA →B νC, A → (Ex)B(x) in intuitionistic formal systems. J. Symb. Logic25, 27–32 (1960).
Kleene, S. C.: Introduction to metamathematics. North Holland 1962.
Kreisel, G.: Mathematical logic, in “Lectures on Modern Mathematics”, vol. III, edited by T. L. Saaty. New York: John Wiley 1965.
Schütte, K.: Beweistheorie. Berlin-Göttingen-Heidelberg: Springer 1960.
Kreisel, G.: Appendix to sect. I, in Stanford Report, Winter 1963/64, mimeographed notes.
Tait, W. W.: The substitution method. J. Symbolic Logic30, 175–192 (1965).
Takeuti, G.: Consistency proofs of subsystems of classical analysis. Ann. of Math.86, 299–348 (1967).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Scarpellini, B. Some applications of Gentzens second consistency proof. Math. Ann. 181, 325–344 (1969). https://doi.org/10.1007/BF01350671
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01350671