Power set recursion

Annals of Pure and Applied Logic 71 (2):247-306 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(94)00005-n

Links

PhilArchive



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

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

Review: Lawrence S. Moss, Power Set Recursion. [REVIEW]Dag Normann - 1996 - Journal of Symbolic Logic 61 (4):1388-1389.
Tiering as a recursion technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.
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.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.
What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
Recursion and Double Recursion.Raphael M. Robinson - 1949 - Journal of Symbolic Logic 14 (3):191-192.
Review: Raphael M. Robinson, Recursion and Double Recursion. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
Quantum hypercomputation—hype or computation?Amit Hagar & Alex Korolev - 2007 - Philosophy of Science 74 (3):347-363.
Robinson Raphael M.. Recursion and double recursion. Bulletin of the American Mathematical Society, Bd. 54 , S. 987–993. [REVIEW]Rózsa Péter - 1949 - Journal of Symbolic Logic 14 (3):191-192.
Is recursion language-specific? Evidence of recursive mechanisms in the structure of intentional action.Giuseppe Vicari & Mauro Adenzato - 2014 - Consciousness and Cognition 26:169-188.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.

Analytics

Added to PP
2014-01-16

Downloads
31 (#504,675)

6 months
5 (#638,139)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Larry Moss
Indiana University

Citations of this work

Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.

Add more citations

References found in this work

Adding a closed unbounded set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.
Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.

Add more references