On the Choquet representation theorem

1988 ◽  
pp. 1-32 ◽  
Author(s):  
Haskell Rosenthal
Keyword(s):  
Representation Theorem

scholarly journals Study of Two Families of Generalized Yager’s Implications for Describing the Structure of Generalized (h,e)-Implications

Mathematics ◽  
2021 ◽  
Vol 9 (13) ◽  
pp. 1490
Author(s):  
Raquel Fernandez-Peralta ◽  
Sebastia Massanet ◽  
Arnau Mir
Keyword(s):  
Representation Theorem ◽  
Internal Factors ◽  
Fuzzy Implication ◽  
The Family

In this study, we analyze the family of generalized (h,e)-implications. We determine when this family fulfills some of the main additional properties of fuzzy implication functions and we obtain a representation theorem that describes the structure of a generalized (h,e)-implication in terms of two families of fuzzy implication functions. These two families can be interpreted as particular cases of the (f,g) and (g,f)-implications, which are two families of fuzzy implication functions that generalize the well-known f and g-generated implications proposed by Yager through a generalization of the internal factors x and 1x, respectively. The behavior and additional properties of these two families are also studied in detail.

A Non-Representation Theorem for Gödel-Bernays Set Theory

1970 ◽  
Vol 16 (6) ◽  
pp. 341-345
Author(s):  
Erik Ellentuck
Keyword(s):  
Set Theory ◽  
Representation Theorem

scholarly journals A representation theorem for the linear quasi-differential equation(py′)′+qy=0

2000 ◽  
Vol 23 (8) ◽  
pp. 579-584
Author(s):  
J. G. O'Hara
Keyword(s):  
Differential Equation ◽  
Comparison Theorem ◽  
Simple Proof ◽  
Representation Theorem ◽  
Second Order ◽  
Order Linear

We establish a representation forqin the second-order linear quasi-differential equation(py′)′+qy=0. We give a number of applications, including a simple proof of Sturm's comparison theorem.

A completeness theorem for higher order logics

2000 ◽  
Vol 65 (2) ◽  
pp. 857-884 ◽  
Author(s):  
Gábor Sági
Keyword(s):  
Set Theory ◽  
Representation Theorem ◽  
Completeness Theorem ◽  
Higher Order ◽  
Algebraic Solution ◽  
Algebraic Proof ◽  
Relation Algebras ◽  
Cylindric Algebras ◽  
Strong Representation ◽  
Algebraic Counterpart

AbstractHere we investigate the classes of representable directed cylindric algebras of dimension α introduced by Németi [12]. can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, “purely cylindric algebraic” proof for the following theorems of Németi: (i) is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain a strong representation theorem for if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories.

Sign in / Sign up

Export Citation Format

Share Document