Opis

• Tytuł:
  On the homogeneous countable Boolean contact algebra
• Twórca:
  Düntsch, Ivo;
  Li, Sanjiang
• Opis:
  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 Fraïssé’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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2013.06.11
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 22 No. 2 (2013): June; 213–251;
  Logic and Logical Philosophy; Tom 22 Nr 2 (2013): June; 213–251;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2013.012/734
• Temat i słowa kluczowe:
  pointless geometry;
  Boolean contact algebra;
  homogeneous structure;
  contact relation algebra;
  region connection calculus
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2013.012
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty