A decidable subclass of the minimal gödel class with identity

, &
Journal of Symbolic Logic 49 (4):1253-1261 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274275

Links

PhilArchive



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

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

Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
On the gödel class with identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.
The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
A Novel Interpretation of Plato’s Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
Random models and the gödel case of the decision problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1120-1124.
Preventive War 'the Supreme Crime'.Noam Chomsky - unknown

Analytics

Added to PP
2009-01-28

Downloads
43 (#351,093)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.
On the gödel class with identity.Warren D. Goldfarb - 1981 - Journal of Symbolic Logic 46 (2):354-364.

Add more references