Nested Recursion

Journal of Symbolic Logic 28 (1):103-104 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271345

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.
Review: W. W. Tait, Nested Recursion. [REVIEW]Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
Control structures in programs and computational complexity.Karl-Heinz Niggl - 2005 - Annals of Pure and Applied Logic 133 (1-3):247-273.
The equivalence of bar recursion and open recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Nested sets and base-rate neglect: Two types of reasoning?Wim De Neys - 2007 - Behavioral and Brain Sciences 30 (3):260-261.
Mind as a nested operational architectonics of the brain.Andrew A. Fingelkurts & Alexander A. Fingelkurts - 2012 - Physics of Life Reviews 9 (1):49-50.
Nested Named Entity Recognition.Christopher D. Manning - unknown
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.
Fictions within fictions.Reina Hayaki - 2008 - Philosophical Studies 146 (3):379 - 398.
What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
A blend of methods of recursion theory and topology: A Π1 0 tree of shadow points. [REVIEW]Iraj Kalantari & Larry Welch - 2004 - Archive for Mathematical Logic 43 (8):991-1008.
Recursion and Double Recursion.Raphael M. Robinson - 1949 - Journal of Symbolic Logic 14 (3):191-192.

Analytics

Added to PP
2015-02-05

Downloads
20 (#767,589)

6 months
12 (#213,833)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.
The Limits of Computation.Andrew Powell - 2022 - Axiomathes 32 (6):991-1011.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references