Functionals defined by transfinite recursion

Journal of Symbolic Logic 30 (2):155-174 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270132

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Functionals Defined by Transfinite Recursion.R. E. Vesley - 1966 - Journal of Symbolic Logic 31 (3):509.
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 , pp. 198–212. [REVIEW]J. Y. Girard - 1975 - Journal of Symbolic Logic 40 (4):624-625.
Tait W. W.. Nested recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185. [REVIEW]E. G. K. LóPez-Escobar - 1975 - Journal of Symbolic Logic 40 (4):623-624.
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
D. L. Kreider and R. W. Ritchie. Predictably computable functionals and definition by recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 65–80. [REVIEW]Paul Axt - 1968 - Journal of Symbolic Logic 33 (2):298-299.
W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 , pp. 15–16. [REVIEW]Robert L. Causey - 1968 - Journal of Symbolic Logic 33 (2):288-288.
Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.

Analytics

Added to PP
2009-01-28

Downloads
229 (#111,930)

6 months
14 (#215,666)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references