Related papers: Model-theoretic aspects of the Gurarij operator sy…

I discuss in detail the construction of realistic superstring standard--like models in the four dimensional free fermionic formulation. The analysis results in a restricted class of models with unique characteristics: (i) Three and only…

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal{N}$ is never model complete if its…

In this paper, we show that there is a large class of fermionic systems for which it is possible to find, for any dimension, a finite closed set of eigenoperators and eigenvalues of the Hamiltonian. Then, the hierarchy of the equations of…

A theorem of single-sorted algebra states that, for a closure space $(A,J)$ and a natural number $n$, the closure operator $J$ on the set $A$ is $n$-ary if, and only if, there exists a single-sorted signature $\Sigma$ and a $\Sigma$-algebra…

Operator systems connect operator algebra, free semialgebraic geometry and quantum information theory. In this work we generalize operator systems and many of their theorems. While positive semidefinite matrices form the underlying…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

This expository paper treats the model theory of probability spaces using the framework of continuous $[0,1]$-valued first order logic. The metric structures discussed, which we call probability algebras, are obtained from probability…

The structure theory for the quadratic algebra generated by first and second order constants of the motion for 2D second order superintegrable systems with nondegenerate (3-parameter) and or 2-parameter potentials is well understood, but…

We show that if a group G is mixed-identity-free, then the projective unitary group of its group von Neumann algebra contains a maximal discrete subgroup containing G. The proofs are elementary and make use of free probability theory. In…

We first prove that the subalgebra $\mathcal{C}$ generated by the vertex and face operators of an abelian Kitaev model is a $C^\ast$-diagonal of the UHF algebra $\mathcal{A}$ of quasilocal observables. This gives us access to the Weyl…

We say that a Kripke model is a GL-model if the accessibility relation $\prec$ is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by attaching infinitely many worlds $t_1, t_2, \ldots$, and…

Purpose: To develop the algebraic foundation of finite commutative ternary $\Gamma$-semirings by identifying their intrinsic invariants, lattice organization, and radical behavior that generalize classical semiring and $\Gamma$-ring…

We establish the dual equivalence of the category of (potentially nonunital) operator systems and the category of pointed compact nc (noncommutative) convex sets, extending a result of Davidson and the first author. We then apply this dual…

Within the framework of augmented version of superfield formalism, we derive the superspace unitary operator and show its usefulness in the derivation of Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for a set of…

We present a hierarchical viewpoint on the operator-algebraic formulation of quantum systems, in which $C^{*}$-algebras are responsible for the universal and intrinsic description, whereas von Neumann algebras provide the detailed account…

Let $G$ be a matroid on ground set \A. The Orlik-Solomon algebra $A(G)$ is the quotient of the exterior algebra \E on \A by the ideal \I generated by circuit boundaries. The quadratic closure $\bar{A}(G)$ of $A(G)$ is the quotient of \E by…

We consider exceptional vertex operator algebras and vertex operator superalgebras with the property that particular Casimir vectors constructed from the primary vectors of lowest conformal weight are Virasoro descendents of the vacuum. We…

Let G be a simply connected simple algebraic group over an algebraically closed field K of characteristic p>0 with root system R, and let ${\mathfrak g}={\cal L}(G)$ be its restricted Lie algebra. Let V be a finite dimensional ${\mathfrak…

We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we…

We construct two types of unital separable simple $C^*$-alebras $A_z^{C_1}$ and $A_z^{C_2},$ one is exact but not amenable, and the other is non-exact. Both have the same Elliott invariant as the Jiang-Su algebra, namely, $A_z^{C_i}$ has a…