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 [Book Review]

Bulletin of Symbolic Logic 9 (1):37-39 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600004728

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

REVIEWS-Decision problems for equational theories of relation algebras.H. Andreka, S. Givant, I. Nemeti & Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-38.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Perfect extensions and derived algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
Blass Andreas. Simple cardinal characteristics of the continuum. Set theory of the reals, edited by Judah Haim, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 63–90. [REVIEW]Heike Mildenberger - 2002 - Bulletin of Symbolic Logic 8 (4):552-553.
Abernathy Robert. The problem of linguistic equivalence. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 95–98. [REVIEW]L. Jonathan Cohen - 1966 - Journal of Symbolic Logic 31 (4):668-668.
the American Mathematical Society during January 8–11, 1997, in San Diego, California.• The 1996–97 ASL Annual Meeting will be held March 22–25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the local organizing com-mittee is Sy Friedman.• The 1997 ASL European Summer Meeting (Logic Colloquium'97) will be held in early. [REVIEW]J. Derrick, F. Drake, D. Macpherson, A. Slomson, J. Truss & S. Wainer - 1995 - Bulletin of Symbolic Logic 1 (3).
Presentation to the panel, “does mathematics need new axioms?” Asl 2000 meeting, urbana il, June 5, 2000.Solomon Feferman - unknown
Sufficient and Necessary Condition for the Completeness of a Calculus.H. Andréka, T. Gergely & I. Németi - 1974 - Mathematical Logic Quarterly 20 (28‐29):433-434.
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, JD Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.

Analytics

Added to PP
2014-03-22

Downloads
13 (#1,062,726)

6 months
5 (#707,850)

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