-fuzzy -algebras.
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],...