1 Introduction Q-algebras
نویسندگان
چکیده
where 1 denotes the universal relation on the base set. These Q-operations have a geometrical origin, but in [Jónsson 1991] Jónsson discusses them only in a context where he compares the expressive power of various clones of operations on binary relations. For instance, the operation defined in the picture above does not belong to the Tarski clone; that is, Q cannot be defined by using the boolean operations together with the ∗Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, the Netherlands. E-mail: [email protected]. The research of this author is sponsored by the Netherlands Organization for the Advancement of Research (NWO). †Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081, 1081 HV Amsterdam, the Netherlands. E-mail: [email protected]. The research of this author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences. 1For the sake of a more transparent presentation of our axiom schemas, we deviate slightly from Jónsson’s original approach where the reference points are fixed as k = 0, l = 1. It is not difficult to show that in fact, the two approaches are term-definitionally equivalent.
منابع مشابه
QUANTALE-VALUED SUP-ALGEBRAS
Based on the notion of $Q$-sup-lattices (a fuzzy counterpart of complete join-semilattices valuated in a commutative quantale), we present the concept of $Q$-sup-algebras -- $Q$-sup-lattices endowed with a collection of finitary operations compatible with the fuzzy joins. Similarly to the crisp case investigated in cite{zhang-laan}, we characterize their subalgebras and quotients, and following...
متن کاملON ($epsilon, epsilon vee q$)-FUZZY IDEALS OF BCI-ALGEBRAS
The aim of this paper is to introduce the notions of ($epsilon, epsilon vee q$)-fuzzy p-ideals, ($epsilon, epsilon vee q$)-fuzzy q-ideals and ($epsilon, epsilon vee q$)-fuzzy a-ideals in BCIalgebras and to investigate some of their properties. Several characterizationtheorems for these generalized fuzzy ideals are proved and the relationshipamong these generalized fuzzy ideals of BCI-algebras i...
متن کاملPositive-additive functional equations in non-Archimedean $C^*$-algebras
Hensel [K. Hensel, Deutsch. Math. Verein, {6} (1897), 83-88.] discovered the $p$-adic number as a number theoretical analogue of power series in complex analysis. Fix a prime number $p$. for any nonzero rational number $x$, there exists a unique integer $n_x inmathbb{Z}$ such that $x = frac{a}{b}p^{n_x}$, where $a$ and $b$ are integers not divisible by $p$. Then $|x...
متن کاملAlgebras Generated by Elements with given Spectrum and Scalar Sum and Kleinian Singularities
We consider algebras eiΠ (Q)ei where Π (Q) is the deformed preprojective algebra of weight λ and i is some vertex of Q in the case when Q is an extended Dynkin diagram and λ lies on the hyperplane orthogonal to the minimal positive imaginary root δ. We prove that the center of eiΠ (Q)ei is isomorphic to O (Q) which is a deformation of coordinate ring of Kleinian singularity which corresponds to...
متن کاملOn the Cluster Multiplication Theorem for Acyclic Cluster Algebras
In [3] and [13], the authors proved the cluster multiplication theorems for finite type and affine type. We generalize their results and prove the cluster multiplication theorem for arbitrary type by using the properties of 2–Calabi–Yau (Auslander–Reiten formula) and high order associativity. Introduction Cluster algebras were introduced by Fomin and Zelevinsky in [9]. By definition, the cluste...
متن کاملMULTIPARAMETER DEFORMATIONS OF THE ALGEBRA gl n IN TERMS OF ANYONIC OSCILLATORS
Generators of multiparameter deformations U q;s 1 ,s 2 ,...,s n−1 (gl n) of the universal enveloping algebra U (gl n) are realized bilinearly by means of appropriately generalized form of anyonic oscillators (AOs). This modification takes into account the parameters s 1 , ..., s n−1 and yields usual AOs when all the s i are set equal to unity. 1. Introduction. Various aspects of quantum groups ...
متن کامل