Related papers: On the isomorphism problem of concept algebras
This paper models the theory of abstract harmonic spaces in the syntax of the continuous first-order logic of Banach lattices. It addresses a topological question asking when a one-to-one harmonic map onto smooth manifolds $M^n$ is a…
The logic of definitions is a family of logics for encoding and reasoning about judgments, which are atomic predicates specified by inference rules. A definition associates an atomic predicate with a logical formula, which may itself depend…
We study weakly coupled $U(1)$ theories in $AdS_3$, their associated charged BTZ solutions, and their charged spectra. We find that modular invariance of the holographic dual two-dimensional CFT and compactness of the gauge group together…
Multidimensional contractions of irreducible representations of the Cayley-Klein unitary algebras in the Gel'fand-Zetlin basis are considered. Contracted over different parameters, algebras can turn out to be isomorphic. In this case method…
The weak Jacobi forms of integral weight and integral index associated to an even positive definite lattice form a bigraded algebra. In this paper we prove a criterion for this type of algebra being free. As an application, we give an…
We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the…
We relate notions of complementarity in three layers of quantum mechanics: (i) von Neumann algebras, (ii) Hilbert spaces, and (iii) orthomodular lattices. Taking a more general categorical perspective of which the above are instances, we…
In this paper, by refining approximation theorems for holomorphic sections of adjoint line bundles, it is proved that the regular locus of a weakly pseudoconvex complex space admitting a positive line bundle can be holomorphically embedded…
The notions of a {\em 2-precontact space}\/ and a {\em 2-contact space}\/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between…
The general construction of self-adjoint configuration space representations of the Heisenberg algebra over an arbitrary manifold is considered. All such inequivalent representations are parametrised in terms of the topology classes of flat…
Let $L$ be a Lie algebra with its enveloping algebra $U(L)$ over a field. In this paper we survey results concerning the isomorphism problem for enveloping algebras: given another Lie algebra $H$ for which $U(L)$ and $U(H)$ are isomorphic…
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
We provide the expected constructions of weakly $\omega$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of…
Motivated by the classical correspondence between short exact sequences and splitting properties in module theory, this paper examines the projective and injective analogues within the category of Lie algebras. We first show that no Lie…
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work…
One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra [K]. A Lie pseudoalgebra is a generalization of the…
This note describes a unified approach to several superrigidity results, old and new, concerning representations of lattices into simple algebraic groups over local fields. For an arbitrary group $\Gamma$ and a $\Gamma$-boundary $B$ we…
We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.
Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…