Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 , pp. 59–64 [Book Review]

Journal of Symbolic Logic 33 (3):477 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270355

Links

PhilArchive



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

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

Review: Fred Galvin, Reduced Products, Horn Sentences, and Decision Problems. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Fred Galvin. Horn sentences. Annals of mathematical logic, vol. 1 no. 4 , pp. 389–422.Walter Taylor - 1973 - Journal of Symbolic Logic 38 (4):651.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Jerome Keisler H.. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.
Review: Fred Galvin, Horn Sentences. [REVIEW]Walter Taylor - 1973 - Journal of Symbolic Logic 38 (4):651-651.
R. C. Lyndon. Existential Horn sentences. Proceedings of the American Mathematical Society, vol. 10 , pp. 994–998.Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253.
McLaughlin T. G.. Hereditarily retraceable isols. Bulletin of the American Mathematical Society, vol. 73 , pp. 113–115.Fred J. Sansone - 1968 - Journal of Symbolic Logic 33 (1):114-115.
D. A. Martin and J. R. Steel. Iteration trees. Journal of the American Mathematical Society, vol. 7 , pp. 1–73. [REVIEW]William Mitchell - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
J. Donald Monk. Nontrivial -injective Boolean algebras do not exist. Bulletin of the American Mathematical Society, vol. 73 , pp. 526–527. [REVIEW]Adil Yaqub - 1972 - Journal of Symbolic Logic 37 (2):400.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.

Analytics

Added to PP
2016-06-30

Downloads
17 (#213,731)

6 months
3 (#1,723,834)

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