On the homogeneous countable Boolean contact algebra

In a recent paper, we have shown that the class of Boolean contact algebras (BCAs) has the hereditary property, the joint embedding property and the amalgamation property. By Fraisse’s theorem, this shows that there is a unique countable homogeneous BCA. This paper investigates this algebra and the relation algebra generated by its contact relation. We first show that the algebra can be partitioned into four sets {0}, {1}, K, and L, which are the only orbits of the group of base automorphisms of the algebra, and then show that the contact relation algebra of this algebra is finite, which is the first non-trivial extensional BCA we know which has this property.

[1]  Gunther Schmidt,et al.  A Necessary Relation Algebra for Mereotopology , 2001, Stud Logica.

[2]  Dimiter Vakarelov,et al.  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[3]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[4]  Dugald Macpherson,et al.  A survey of homogeneous structures , 2011, Discret. Math..

[5]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[6]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[7]  Ivo Düntsch,et al.  Binary Relations and Permutation Groups , 1995, Math. Log. Q..

[8]  Ivo Düntsch,et al.  Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.

[9]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[10]  R. Cooper.  Process and Reality , 2014 .

[11]  J. Madarász,et al.  Amalgamation, Interpolation and Epimorphisms in Algebraic Logic , 2007 .

[12]  Michael Winter,et al.  The Lattice of Contact Relations on a Boolean Algebra , 2008, RelMiCS.

[13]  Sanjiang Li,et al.  Region Connection Calculus: Its models and composition table , 2003, Artif. Intell..

[14]  B. Jonsson.  Maximal algebras of binary relations , 1984 .

[15]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[16]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[17]  Ivo Düntsch,et al.  Extension Properties of Boolean Contact Algebras , 2012, RAMICS.

[18]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[19]  Mingsheng Ying,et al.  Relational reasoning in the region connection calculus , 2005, ArXiv.

[20]  Michael Winter,et al.  Construction of Boolean contact algebras , 2004, AI Commun..

[21]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[22]  I. Düntsch,et al.  Remarks on contact relations on Boolean algebras , 2012 .