O existenčných algebrách
O grupách [Book]
-idéaux des ensembles ordonnés
O jednom pěkném algebraickém výsledku
O jisté pologrupě endomorfismů na jednoduše uspořádané množině. II.
O lexikografickém součtu částečně uspořádaných množin
O riešení niektorých nerozhodnutelných topologických problémov
Observables on -MV algebras and -lattice effect algebras
Effect algebras were introduced as abstract models of the set of quantum effects which represent sharp and unsharp properties of physical systems and play a basic role in the foundations of quantum mechanics. In the present paper, observables on lattice ordered -effect algebras and their “smearings” with respect to (weak) Markov kernels are studied. It is shown that the range of any observable is contained in a block, which is a -MV algebra, and every observable is defined by a smearing of a sharp...
Observation Space And Observables In Classical Mechanics
Observation space and observables in classical mechanics.
OCA and towers in
We shall show that Open Coloring Axiom has different influence on the algebra than on . The tool used to accomplish this is forcing with a Suslin tree.
Ojective ideals in modular lattices
The concept of an extending ideal in a modular lattice is introduced. A translation of module-theoretical concept of ojectivity (i.e. generalized relative injectivity) in the context of the lattice of ideals of a modular lattice is introduced. In a modular lattice satisfying a certain condition, a characterization is given for direct summands of an extending ideal to be mutually ojective. We define exchangeable decomposition and internal exchange property of an ideal in a modular lattice. It is...
On measure for projectors
An example of a finite set of projectors in is exhibited for which no 0-1 measure exists.
On a cancellation rule for subdirect products of lattice ordered groups and of -algebras
On a certain construction of lattice expansions
We obtain a simple construction for particular subclasses of several varieties of lattice expansions. The construction allows a unified approach to the characterization of the subdirectly irreducible algebras
On a certain construction of MS-algebras.
On a certain mapping on the set with orthogonality
On a characterization of probability measures on Boolean algebras and some orthomodular lattices
On a characterization of the lattice of -ideals of an ordered set
On a characterization of the lattice of subsystems of a transition system.