Perfect extensions of regular double Stone algebras (Q1902544)

From MaRDI portal
Revision as of 13:59, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Perfect extensions of regular double Stone algebras
scientific article

    Statements

    Perfect extensions of regular double Stone algebras (English)
    0 references
    0 references
    19 May 1996
    0 references
    If \(A\) and \(B\) are regular double Stone algebras, then \(B\) is a perfect extension of \(A\) if (i) \(A\) is a subalgebra of \(B\) and \(B\) is complete and atomic, (ii) whenever \(\{x_i/i \in I\}\) is a family of elements of \(A\) such that \(\sum x_i = 1\) then \(\sum \{x_j/j \in J\} = 1\) for a finite subset \(J\) of \(I\), and (iii) whenever \(u,v\) are join-irreducible elements of \(B\) with \(v \not \leq u\), then there exists \(a \in A\) with \(a \geq u\) and \(v \not \leq a\). The author shows the existence and uniqueness of perfect extensions of regular double Stone algebras. The result is extended to regular double Stone algebras with operators. He also shows that every regular double Stone algebra is isomorphic to an algebra of rough subsets of an approximation space.
    0 references
    0 references
    rough sets
    0 references
    regular double Stone algebras
    0 references
    perfect extension
    0 references
    algebra of rough subsets of an approximation space
    0 references

    Identifiers