Lawrence S. Moss. Power set recursion. Annals of pure and applied logic, vol. 71 , pp. 247–306

Journal of Symbolic Logic 61 (4):1388-1389 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275825

Links

PhilArchive



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

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

Power set recursion.Lawrence S. Moss - 1995 - Annals of Pure and Applied Logic 71 (2):247-306.
Ann. pure appl. logic : Erratum to “coalgebraic logic” 96 277–317.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 99 (1-3):241-259.
Review: Lawrence S. Moss, Power Set Recursion. [REVIEW]Dag Normann - 1996 - Journal of Symbolic Logic 61 (4):1388-1389.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Tabular degrees in \Ga-recursion theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Moti Gitik and Menachem Magidor. Extender based forcings. The Journal of Symbolic Logic, vol. 59 , pp. 445–460. - Moti Gitik and William J. Mitchell. Indiscernible sequences for extenders, and the singular cardinal hypothesis. Annals of Pure and Applied Logic, vol. 82 , pp. 273–316. - Moti Gitik. Blowing up the power of a singular cardinal. Annals of Pure and Applied Logic, vol. 80 , pp. 17–33. - Moti Gitik and Carmi Merimovich. Possible values for and. Annals of Pure and Applied Logic, vol. 90 , pp. 193–241. - Moti Gitik. Blowing up power of a singular cardinal—wider gaps. Annals of Pure and Applied Logic, vol. 116 , pp. 1–38. [REVIEW]Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (2):237-241.
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 , pp. 7–19. [REVIEW]Dag Normann - 2000 - Bulletin of Symbolic Logic 6 (2):221-222.
A recursion-theoretic approach to NP.Isabel Oitavem - 2011 - Annals of Pure and Applied Logic 162 (8):661-666.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Adjointness in recursion.Philip S. Mulry - 1986 - Annals of Pure and Applied Logic 32:281-289.
Set recursion and [product]¹2-logic.J. Girard - 1985 - Annals of Pure and Applied Logic 28 (3):255.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Two splitting theorems for beta-recursion theory.Steven Homer - 1980 - Annals of Mathematical Logic 18 (2):137.
Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,006,512)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Normann
University of Oslo

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references