### Decomposizione di funzioni additive definite in strutture ortomodulari: il problema dell'unicità

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Back to Simple Search
# Advanced Search

In [4] it is proved that a measure on a finite coarse-grained space extends, as a signed measure, over the entire power algebra. In [7] this result is reproved and further improved. Both the articles [4] and [7] use the proof techniques of linear spaces (i.e. they use multiplication by real scalars). In this note we show that all the results cited above can be relatively easily obtained by the Horn-Tarski extension technique in a purely combinatorial manner. We also characterize the pure measures...

In it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later () this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained...

We investigate the existence of a Caratheodory type extension for modular measures defined on lattice-ordered effect algebras.

The Cantor-Bernstein theorem was extended to $\sigma $-complete boolean algebras by Sikorski and Tarski. Chang’s MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Łukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to $\sigma $-complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.

An orthomodular lattice $L$ is said to be interval homogeneous (resp. centrally interval homogeneous) if it is $\sigma $-complete and satisfies the following property: Whenever $L$ is isomorphic to an interval, $[a,b]$, in $L$ then $L$ is isomorphic to each interval $[c,d]$ with $c\le a$ and $d\ge b$ (resp. the same condition as above only under the assumption that all elements $a$, $b$, $c$, $d$ are central in $L$). Let us denote by Inthom (resp. Inthom${}_{c}$) the class of all interval homogeneous orthomodular lattices (resp. centrally interval homogeneous...

**Page 1**