-fuzzy -algebras.
We show that each sequentially continuous (with respect to the pointwise convergence) normed measure on a bold algebra of fuzzy sets (Archimedean -algebra) can be uniquely extended to a sequentially continuous measure on the generated Łukasiewicz tribe and, in a natural way, the extension is maximal. We prove that for normed measures on Łukasiewicz tribes monotone (sequential) continuity implies sequential continuity, hence the assumption of sequential continuity is not restrictive. This yields...
We prove that a set containing translates of every 2-plane must have full Hausdorff dimension.
We define the α - relations between discrete systems and between continuous systems. We show that it is an equivalence relation. α- Equivalence vs. even α-equivalence is analogous to Kakutani equivalence vs. even Kakutani equivalence.
We prove a separable reduction theorem for -porosity of Suslin sets. In particular, if is a Suslin subset in a Banach space , then each separable subspace of can be enlarged to a separable subspace such that is -porous in if and only if is -porous in . Such a result is proved for several types of -porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem...
In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets [18],...