On a theorem in the theory of relations and a solution of a problem of Knaster
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
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.