Robert M. Solovay. New proof of a theorem of Gaifman and Hales. Bulletin of the American Mathematical Society, vol. 72 , pp. 282–284 [Book Review]

Journal of Symbolic Logic 32 (1):132 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271298

Links

PhilArchive



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

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

New Proof of a Theorem of Gaifman and Hales.Robert M. Solovay - 1967 - Journal of Symbolic Logic 32 (1):132-132.
Saul A. Kripke. An extension of a theorem of Gaifman-Hales-Solovay. Fundamenta mathematicae, vol. 61 , pp. 29–32.Haim Gaifman - 1969 - Journal of Symbolic Logic 34 (1):131-132.
An Extension of a Theorem of Gaifman-Hales-Solovay.Haim Gaifman - 1967 - Fundamenta Mathematicae 61 (1):29-32.
An Extension of a Theorem of Gaifman-Hales-Solovay.Haim Gaifman - 1969 - Journal of Symbolic Logic 34 (1):131-132.
Gaifman's theorem on categorial grammars revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
Mathematical Fit: A Case Study.Manya Raman-Sundström & Lars-Daniel Öhman - forthcoming - Philosophia Mathematica:nkw015.
Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.
An effective proof that open sets are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
Solovay Robert M.. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 , pp. 50–75. [REVIEW]Donald A. Martin - 1971 - Journal of Symbolic Logic 36 (2):340.
A proof-theoretic analysis of collection.Lev D. Beklemishev - 1998 - Archive for Mathematical Logic 37 (5-6):275-296.
Review: Saharon Shelah, Can You Take Solovay's Inaccessible Away?; Jean Raisonnier, A Mathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Results. [REVIEW]Arnold W. Miller - 1989 - Journal of Symbolic Logic 54 (2):633-635.
Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 , pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L. The journal of symbolic logic, vol. 56 , pp. 260–275. - Steve Jackson. A computation of. Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
The four-color theorem and mathematical proof.Michael Detlefsen & Mark Luker - 1980 - Journal of Philosophy 77 (12):803-820.

Analytics

Added to PP
2013-11-22

Downloads
35 (#446,573)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references