Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Stone representation

Sortuj według:

Ogranicz wyniki do:

On the Compactness Property of Mereological Spaces

Polkowski Lech

Fundamenta Informaticae

2020

Vol. 172, nr 1

73--95

Continuing our work on mass-based rough mereologies, we make use of the Stone representation theorem for complete Boolean algebras and we exhibit the existence of a finite base in each mereological space. Those bases in turn allow for the introduction of distributed mereologies; regarding each element of the base as a mereological space, we propose a mechanism for fusing those mereological spaces into a global distributed mereological space. We define distributed mass-assignments and rough inclusions pointing to possible applications.

The Stone representation of an atomic complete Boolean algebra is Marczewski-Burstin representable

Bartoszewicz A., Kowalski A.

Journal of Applied Analysis

2012

Vol. 18, nr 2

297-301

In 1935, E. Marczewski defined the families s = {A ⊂ X : (∀P ∈ F)(∃Q ∈ F)(Q ⊂ A ∩ P or Q ⊂ P / A)} and s0 = {A ⊂ X : (∀P ∈ F)(∃Q ∈ F) Q ⊂ P / A} where F is the family of perfect sets and X is a Polish space. We say that the pair <Α, Λ> (where Α is the algebra of subsets of X ≠ ∅ and Α ⊃ Λ the ideal of sets) has MB-representation if there exists a family ∅ ≠ F ⊂ P(X) \ {∅} such that Α = S(F) and S0(F), where and are constructed analogously to s and s0. We will use two theorems published in [J. Appl. Anal. 9 (2003), 275-286] and [Bull. Pol. Acad. Sci. Math. 53 (2005), 239-250], to prove the theorem which is stated in the title.