Location of Repository

Strongly Representable Atom Structures Of Relation Algebras

By Robin Hirsch and IAN HODKINSON

Abstract

A relation algebra atom structure is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex algebra Cm is a representable relation algebra. We show that the class of all strongly representable relation algebra atom structures is not closed under ultraproducts and is therefore not elementary. This answers a question of Maddux (1982). Our proof is based on the following construction. From an arbitrary undirected, loop-free graph , we construct a relation algebra atom structure () and prove, for infinite , that () is strongly representable if and only if the chromatic number of is infinite. A construction of Erdős shows that there are graphs r (r < !) with infinite chromatic number, with a non-principal ultraproduct Q D r whose chromatic number is just two. It follows that (r ) is strongly representable (each r < !) but Q D ((r )) is not

Topics: D ((r)) is not
Year: 2002
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.9146
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.doc.ic.ac.uk/~imh/f... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.