On the gödel class with identity

Journal of Symbolic Logic 46 (2):354-364 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273627

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

The unsolvability of the gödel class with identity.Warren D. Goldfarb - 1984 - Journal of Symbolic Logic 49 (4):1237-1252.
A decidable subclass of the minimal gödel class with identity.Warren D. Goldfarb, Yuri Gurevich & Saharon Shelah - 1984 - Journal of Symbolic Logic 49 (4):1253-1261.
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII. [REVIEW]Jean-Pierre Bénéjam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Review: Zachary Gleit, Warren Goldfarb, Characters and Fixed Points in Provability Logic. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):715-715.
Review: Warren Goldfarb, William Aspray, Philip Kitcher, History and Philosophy of Modern Mathematics. [REVIEW]Michael Hallett - 1990 - Journal of Symbolic Logic 55 (3):1315-1319.
Warren Goldfarb. Deductive logic. Hackett Publishing Company, Indianapolis, 2003, xv + 292 pp. [REVIEW]Sherrilyn Roush - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):715-715.

Analytics

Added to PP
2009-01-28

Downloads
56 (#96,274)

6 months
16 (#899,032)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

Add more citations

References found in this work

Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.
Unsolvable Classes of Quantificational Formulas.Dieter Rödding - 1982 - Journal of Symbolic Logic 47 (1):221-222.

Add more references