Once the concept of De Morgan algebra of fuzzy sets on a universe X can be defined, we give a necessary and sufficient condition for a De Morgan algebra to be isomorphic to (represented by) a De Morgan algebra of fuzzy sets.
It was shown that there is a statistical learning problem – a version of the expectation maximization (EMX) problem – whose consistency in a domain of cardinality continuum under the family of purely atomic probability measures and with finite hypotheses is equivalent to a version of the continuum hypothesis, and thus independent of ZFC. K. P. Hart had subsequently proved that no solution to the EMX problem can be Borel measurable with regard to an uncountable standard Borel structure on , and...
This paper is devoted to the study of a class of left-continuous uninorms locally internal in the region and the residual implications derived from them. It is shown that such uninorm can be represented as an ordinal sum of semigroups in the sense of Clifford. Moreover, the explicit expressions for the residual implication derived from this special class of uninorms are given. A set of axioms is presented that characterizes those binary functions for which a uninorm of this special class exists...
We show that in the -stage countable support iteration of Mathias forcing over a model of CH the complete Boolean algebra generated by absolutely divergent series under eventual dominance is not isomorphic to the completion of P(ω)/fin. This complements Vojtáš’ result that under the two algebras are isomorphic [15].
Uninorms, as binary operations on the unit interval, have been widely applied in information aggregation. The class of almost equitable uninorms appears when the contradictory information is aggregated. It is proved that among various uninorms of which either underlying t-norm or t-conorm is continuous, only the representable uninorms belong to the class of almost equitable uninorms. As a byproduct, a characterization for the class of representable uninorms is obtained.
The asymptotic behaviour of universal fuzzy measures is investigated in the present paper. For each universal fuzzy measure a class of fuzzy measures preserving some natural properties is defined by means of convergence with respect to ultrafilters.
We prove that, under CH, for each Boolean algebra A of cardinality at most the continuum there is an embedding of A into P(ω)/fin such that each automorphism of A can be extended to an automorphism of P(ω)/fin. We also describe a model of ZFC + MA(σ-linked) in which the continuum is arbitrarily large and the above assertion holds true.
We investigate Banach space automorphisms focusing on the possibility of representing their fragments of the form for A,B ⊆ ℕ infinite by means of linear operators from into , infinite A×B-matrices, continuous maps from B* = βB∖B into A*, or bijections from B to A. This leads to the analysis of general bounded linear operators on . We present many examples, introduce and investigate several classes of operators, for some of them we obtain satisfactory representations and for others give...