We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth

Abstract: Using a variation of the rainbow construction and various pebble and colouring games, we prove that RRA, the class of all representable relation algebras, cannot be axiomatised by any first-order relation algebra theory of bounded quantifier depth. We also prove that the class At(RRA) of atom structures of representable, atomic relation algebras cannot be defined by any set of sentences in the language of RA atom structures that uses only a finite number of variables.
Comments: v3 makes significant revisions. Some material from v2 has been moved to arXiv:2109.01357
Subjects: Logic (math.LO)
MSC classes: 03G15
Cite as: arXiv:2008.01329 [math.LO]
  (or arXiv:2008.01329v3 [math.LO] for this version)

Submission history

From: Robert Egrot [view email]
[v1] Tue, 4 Aug 2020 05:09:32 GMT (25kb)
[v2] Wed, 5 Aug 2020 04:52:06 GMT (25kb)
[v3] Tue, 14 Sep 2021 10:35:41 GMT (23kb)

Link back to: arXiv, form interface, contact.