Hyperanalytic Predicates

Journal of Symbolic Logic 36 (1):147-148 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Vague predicates and language games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Many-one Degrees of the Predicates H a.Yiannis N. Moschovakis - 1967 - Journal of Symbolic Logic 32 (4):529-530.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Quantum sortal predicates.Décio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
Quantum Sortal Predicates.D.\'ecio Krause & Steven French - 2007 - Synthese 154 (3):417 - 430.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
Indexical Predicates.Daniel Rothschild & Gabriel Segal - 2009 - Mind and Language 24 (4):467-493.
Presburger arithmetic with unary predicates is Π11 complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,021,691)

6 months
3 (#439,232)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
Power set recursion.Lawrence S. Moss - 1995 - Annals of Pure and Applied Logic 71 (2):247-306.
Reflection and forcing in E-recursion theory.Theodore A. Slaman - 1985 - Annals of Pure and Applied Logic 29 (1):79-106.
The limits of E-recursive enumerability.Gerald E. Sacks - 1986 - Annals of Pure and Applied Logic 31:87-120.

Add more citations

References found in this work

No references found.

Add more references