Related papers: On uniform canonical bases in $L_p$ lattices and o…
We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…
We study model-theoretic stability and independence in Banach lattices of the form $L_p(X,U,\mu)$, where $1 \leq p < \infty$. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
A positive definite even Hermitian lattice is called \emph{even universal} if it represents all even positive integers. We introduce a method to get all even universal binary Hermitian lattices over imaginary quadratic fields $\Q{-m}$ for…
In this paper we primarily study monomial ideals and their minimal free resolutions by studying their associated LCM lattices. In particular, we formally define the notion of coordinatizing a finite atomic lattice P to produce a monomial…
We find a new finite algorithm for evaluation of Lipschitz-free $p$-space norm in finite-dimensional Lipschitz-free $p$-spaces. We use this algorithm to deal with the problem of whether given $p$-metric spaces $N\subset M$, the canonical…
Soft uniform structures provide a way to speak about uniform closeness in a parameterized setting. Working over a fixed parameter set, we treat entourages as soft relations and introduce a notion of \emph{soft uniformity} whose axioms…
The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a…
A system of transformations is associated to a rational point on an elliptic curve. The sequence entropy is connected to the canonical height, and in some cases there is a canonically defined quotient system whose entropy is the canonical…
A characterization of flat ideals in the unit interval with the canonical fuzzy order is obtained with the help of the ordinal sum decomposition of continuous t-norms. This characterization will be useful in the study of topological and…
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…
We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for…
For $\imath$quantum covering groups $(\mathbf{U}, \mathbf{U}^\imath)$ of super Kac-Moody type, we construct $\imath$-canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as…
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…
We construct a monomial basis of the positive part of the quantized enveloping algebra associated to a finite-dimensional simple Lie algebra. As an application we give a simple proof of the existence and uniqueness of the canonical basis of…
Ideal lattices in the plane coming from real quadratic number fields have been investigated by several authors in the recent years. In particular, it has been proved that every such ideal has a basis that can be twisted by the action of the…
The problem of finding a canonical form of complex matrices up to conjugacy with the set of canonical matrices being a union of affine planes in the matrix space is considered. A solution of the problem is given producing a new canonical…
Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…
We investigate a hierarchy of arithmetical structures obtained by a transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as a minimum universal predicate for M in terms of…
We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we…