On measure for projectors
An example of a finite set of projectors in is exhibited for which no 0-1 measure exists.
An example of a finite set of projectors in is exhibited for which no 0-1 measure exists.
Let be an Archimedean Riesz space and its Boolean algebra of all band projections, and put and , . is said to have Weak Freudenthal Property () provided that for every the lattice is order dense in the principal band . This notion is compared with strong and weak forms of Freudenthal spectral theorem in Archimedean Riesz spaces, studied by Veksler and Lavrič, respectively. is equivalent to -denseness of in for every , and every Riesz space with sufficiently many projections...
We investigate an algebraic notion of decidability which allows a uniform investigation of a large class of notions of forcing. Among other things, we show how to build σ-fields of sets connected with Laver and Miller notions of forcing and we show that these σ-fields are closed under the Suslin operation.
We study the minimal prime elements of multiplication lattice module over a -lattice . Moreover, we topologize the spectrum of minimal prime elements of and study several properties of it. The compactness of is characterized in several ways. Also, we investigate the interplay between the topological properties of and algebraic properties of .
Trillas ([1]) has defined a relational probability on an intuitionistic algebra and has given its basic properties. The main results of this paper are two. The first one says that a relational probability on a intuitionistic algebra defines a congruence such that the quotient is a Boolean algebra. The second one shows that relational probabilities are, in most cases, extensions of conditional probabilities on Boolean algebras.