Results 131 to 140 of about 945 (231)

A representation Theorem for Boolean Contact Algebras

open access: yes, 2003
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T 1 ...
Michael Winter, Ivo Düntsch
core  

Degrees of Autostability Relative to Strong Constructivizations for Boolean Algebras

open access: yes, 2020
© 2016 Springer Science+Business Media New YorkIt is proved that for every computable ordinal α, the Turing degree 0(α) is a degree of autostability of some computable Boolean algebra and is also a degree of autostability relative to strong ...
Bazhenov N.
core  

Cofinalities of complete boolean algebras

open access: yesArchiv für Mathematische Logik und Grundlagenforschung, 1980
openaire   +2 more sources

Home - About - Disclaimer - Privacy