New Proof of a Theorem of Gaifman and Hales

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271298

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

Robert M. Solovay. New proof of a theorem of Gaifman and Hales. Bulletin of the American Mathematical Society, vol. 72 , pp. 282–284. [REVIEW]R. S. Pierce - 1967 - Journal of Symbolic Logic 32 (1):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.
Review: Robert M. Solovay, A Nonconstructible $bigtriangleup_{3}^{1}$ Set of Integers. [REVIEW]Donald A. Martin - 1971 - Journal of Symbolic Logic 36 (2):340-340.
Review: Robert M. Solovay, On the Cardinality of $mathbf{Sigma}frac{1}{2}$ Sets of Reals. [REVIEW]Frank R. Drake - 1974 - Journal of Symbolic Logic 39 (2):330-330.
Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics, vol. 25 , pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
Review: Robert M. Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529-529.

Analytics

Added to PP
2015-02-05

Downloads
13 (#1,332,544)

6 months
2 (#1,694,052)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

Citations of this work

Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Extensions of Kripke's embedding theorem.Jonathan Stavi - 1975 - Annals of Mathematical Logic 8 (4):345.

Add more citations

References found in this work

No references found.

Add more references