Chaînes de théories universelles
Chains and antichains in Boolean algebras
We give an affirmative answer to problem DJ from Fremlin’s list [8] which asks whether implies that every uncountable Boolean algebra has an uncountable set of pairwise incomparable elements.
Chains in Ehrenfeucht Mostowski models
Chains of Decompositions and -Ary Relations
Champs de Markov cachés flous et segmentation d'images
Changing cofinality of a measurable cardinal (An alternative proof)
Changing cofinality of cardinals
Changing measurable into accessible cardinals [Book]
Characteristic of Rings. Prime Fields
The notion of the characteristic of rings and its basic properties are formalized [14], [39], [20]. Classification of prime fields in terms of isomorphisms with appropriate fields (ℚ or ℤ/p) are presented. To facilitate reasonings within the field of rational numbers, values of numerators and denominators of basic operations over rationals are computed.
Characteristic sets of a system of equivalence relations
Characterization of a full set of probabilities on some posets.
Characterization of binary operations on the unit interval satisfying the generalized modus ponens inference rule.
Characterization of fuzzy order relation by fuzzy cone
In the present paper, fuzzy order relations on a real vector space are characterized by fuzzy cones. It is well-known that there is one-to-one correspondence between order relations, that a real vector space with the order relation is an ordered vector space, and pointed convex cones. We show that there is one-to-one correspondence between fuzzy order relations with some properties, which are fuzzification of the order relations, and fuzzy pointed convex cones, which are fuzzification of the pointed...
Characterization of generic extensions of models of set theory
Characterization of the order induced by uninorm with the underlying drastic product or drastic sum
In this article, we investigate the algebraic structures of the partial orders induced by uninorms on a bounded lattice. For a class of uninorms with the underlying drastic product or drastic sum, we first present some conditions making a bounded lattice also a lattice with respect to the order induced by such uninorms. And then we completely characterize the distributivity of the lattices obtained.
Characterizations of certain classes of posets having Gs-lattices of a relatively small size
Characterizations of certain general and reproductive solutions of arbitrary equations
Characterizations of commuting relations
Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata
Characterizing the powerset by a complete (Scott) sentence
This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence if has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if is characterized by a Scott sentence, then is (homogeneously) characterized by a Scott sentence, for all 0 < β₁ < ω₁....