Related papers: Canonical extensions and ultraproducts of polariti…
In the first part of this article, we study linear cones over totally ordered fields. We show that for each such cone there uniquely exists a universal vector space (called its spanned vector space) into which it embeds as a generating…
The canonical height associated to a polarized endomporhism of a projective variety, constructed by Call and Silverman and generalizing the N\'eron-Tate height on a polarized Abelian variety, plays an important role in the arithmetic theory…
In this paper we show that there is a link between the combinatorics of the canonical basis of a quantized enveloping algebra and the monomial bases of the second author arising from representations of quivers. We prove that some…
All known structural extensions of the substructural logic $\mathsf{FL_e}$, Full Lambek calculus with exchange/commutativity, (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$-equations)…
We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…
Let U be the quantised enveloping algebra associated to a Cartan matrix of finite type. Let W be the tensor product of a finite list of highest weight representations of U. Then the centraliser algebra of W has a basis called the dual…
Let S be a compact connected oriented surface with one boundary component. We extend each of Johnson's and Morita's homomorphisms to the Ptolemy groupoid of S. Our extensions are canonical and take values into finitely generated free…
We introduce the language of multiplier Hopf algebra in the context of positive representations of split real quantum groups, and discuss its applications with a continuous version of Lusztig-Kashiwara's canonical basis, which may provide a…
In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…
Let $A$ be an artinian algebra, and let $\mathcal{C}$ be a subcategory of mod$A$ that is closed under extensions. When $\mathcal{C}$ is closed under kernels of epimorphisms (or closed under cokernels of monomorphisms), we describe the…
Fine's influential Canonicity Theorem states that if a modal logic is determined by a first-order definable class of Kripke frames, then it is valid in its canonical frames. This article reviews the background and context of this result,…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
We describe a logarithmic tensor product theory for certain module categories for a ``conformal vertex algebra.'' In this theory, which is a natural, although intricate, generalization of earlier work of Huang and Lepowsky, we do not…
Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In particular, the correspondence between…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…
In this paper we study the tensor product for MV-algebras, the algebraic structures of \L ukasiewicz $\infty$-valued logic. Our main results are: the proof that the tensor product is preserved by the categorical equivalence between the…
In the context of internal crossed modules over a fixed base object in a given semi-abelian category, we use the non-abelian tensor product in order to prove that an object is perfect (in an appropriate sense) if and only if it admits a…
The connections between Euler's equations on central extensions of Lie algebras and Euler's equations on the original, extended algebras are described. A special infinite sequence of central extensions of nilpotent Lie algebras constructed…
We investigate the canonicity of inequalities of the intuitionistic mu-calculus. The notion of canonicity in the presence of fixed point operators is not entirely straightforward. In the algebraic setting of canonical extensions we examine…