The Contact Algebra of the Euclidean Plane has Infinitely Many Elements
| Abstract | Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be used to define point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. | |||||||||
| Keywords | Relation algebras Boolean Contact Algebras Mereo(topo)ogy Connectedness Euclidean Plane | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
  |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesIvo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Ivo D.[Uuml ]Ntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381-409.
Ivo D.[Uuml ]Ntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381-409.
Thomas Mormann (2013). Heyting Mereology as a Framework for Spatial Reasoning. Axiomathes 23 (1):137- 164.
Ivo Düntsch & Ewa Orłowska (2000). A Proof System for Contact Relation Algebras. Journal of Philosophical Logic 29 (3):241-262.
Yde Venema (2004). A Dual Characterization of Subdirectly Irreducible BAOs. Studia Logica 77 (1):105 - 115.
Steven Givant & Hajnal Andreka (2002). Groups and Algebras of Binary Relations. Bulletin of Symbolic Logic 8 (1):38-64.
Robert Goldblatt (1985). An Algebraic Study of Well-Foundedness. Studia Logica 44 (4):423 - 437.
Torsten Hahmann & Michael Grüninger (2013). Complementation in Representable Theories of Region-Based Space. Notre Dame Journal of Formal Logic 54 (2):177-214.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Roger D. Maddux (1994). Undecidable Semiassociative Relation Algebras. Journal of Symbolic Logic 59 (2):398-418.
Analytics
Monthly downloads |
Added to index2012-06-27Total downloads153 ( #2,442 of 549,069 )Recent downloads (6 months)138 ( #43 of 549,069 )How can I increase my downloads? |
My notes
Discussion
