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: 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

Yuri Gurevich and Saharon Shelah. On finite rigid structures. The journal of symbolic logic, vol. 61 , pp. 549–562. [REVIEW]Alexei P. Stolboushkin - 2000 - Bulletin of Symbolic Logic 6 (3):353-355.
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: Moti Gitik, Saharon Shelah, Forcings with ideals and simple forcing notions; M. Gitik, S. Shelah, More on simple forcing Notions and forcing with ideals; D. H. Fremin, Real-valued-measurable cardinals. [REVIEW]Maxim R. Burke - 1995 - Journal of Symbolic Logic 60 (3):1022-1024.
Review: Saharon Shelah, Proper Forcing. [REVIEW]S. Todorcevic - 1985 - Journal of Symbolic Logic 50 (1):237-239.
Review: Saharon Shelah, Differential Closed Fields. [REVIEW]Bruno Poizat - 1987 - Journal of Symbolic Logic 52 (3):870-873.
Review: Saharon Shelah, On Uniqueness of Prime Models. [REVIEW]G. L. Cherlin - 1983 - Journal of Symbolic Logic 48 (2):497-497.
Saharon Shelah. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 , pp. 550–562.Leo Marcus - 1981 - Journal of Symbolic Logic 46 (3):663.
Review: Saharon Shelah, Cardinal Arithmetic. [REVIEW]Akihiro Kanamori - 1997 - Journal of Symbolic Logic 62 (3):1035-1039.

Analytics

Added to PP
2009-01-28

Downloads
45 (#107,894)

6 months
6 (#1,472,471)

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