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)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,459

External links

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

Through your library

Similar books and articles

Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Set recursion and [product]¹2-logic.J. Girard - 1985 - Annals of Pure and Applied Logic 28 (3):255.
Adjointness in recursion.Philip S. Mulry - 1986 - Annals of Pure and Applied Logic 32:281-289.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Herbrand's theorem as higher order recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
Bar recursion over finite partial functions.Paulo Oliva & Thomas Powell - 2017 - Annals of Pure and Applied Logic 168 (5):887-921.
Weak and strong versions of Effective Transfinite Recursion.Patrick Uftring - 2023 - Annals of Pure and Applied Logic 174 (4):103232.

Analytics

Added to PP
2014-01-16

Downloads
31 (#595,578)

6 months
9 (#375,921)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Larry Moss
Indiana University

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.
Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.

Add more references