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

R. S. Pierce

doi:10.2307/2271298

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)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2271298
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 69,979

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index
2013-11-22

Total views
27 ( #422,873 of 2,505,137 )

Recent downloads (6 months)
1 ( #416,587 of 2,505,137 )

How can I increase my downloads?

Downloads