Journal of Symbolic Logic 31 (3):509 (1966)

Authors
William W. Tait
University of Chicago
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2270490
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,920
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Functionals Defined by Transfinite Recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Functional Interpretation and Inductive Definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
Axiomatic Recursion Theory and the Continuous Functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Functionals Defined by Recursion.Luis Elpidio Sanchis - 1967 - Notre Dame Journal of Formal Logic 8 (3):161-174.
Monotone Majorizable Functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.
Limit Spaces and Transfinite Types.Dag Normann & Geir Waagb - 2002 - Archive for Mathematical Logic 41 (6):525-539.
Predicative Functionals and an Interpretation of ⌢ID<Ω.Jeremy Avigad - 1998 - Annals of Pure and Applied Logic 92 (1):1-34.
Derived Sequences and Reverse Mathematics.Jeffry L. Hirst - 1993 - Mathematical Logic Quarterly 39 (1):447-453.

Analytics

Added to PP index
2013-11-03

Total views
14 ( #696,979 of 2,439,316 )

Recent downloads (6 months)
8 ( #82,661 of 2,439,316 )

How can I increase my downloads?

Downloads

My notes