Related papers: Enforceable operator algebras

The essential parts of the operad algebra are concisely presented, which should be useful when confronting with the operadic physics. It is also clarified how the Gerstenhaber algebras can be associated with the linear pre-operads (comp…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

The theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…

We introduce a new and natural stationary set preserving forcing $\mathbb P^{c-c}({\lambda},{\mu})$ that (under $\mathsf{NS}_{\omega_1}$ precipitous + existence of $H_{\theta}^#$ for a sufficiently large regular ${\theta}$) increases the…

We prove an orbifold conjecture for a solvable automorphism group. Namely, we show that if V is a C_2-cofinite simple vertex operator algebra and G is a finite solvable automorphism group of V, then the fixed point vertex operator…

Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the "if..., then..." connective as strictly…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

For each sequence $\{c_n\}_n$ in $l_{1}(\N)$ we define an operator $A$ in the hyperfinite $\mathrm{II}_1$-factor $\mathcal{R}$. We prove that these operators are quasinilpotent and they generate the whole hyperfinite $\mathrm{II}_1$-factor.…

We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, preferential union and fixset, we give finite equational or…

We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…

There are 13 equivalence classes of 2D second order quantum and classical superintegrable systems with nontrivial potential, each associated with a quadratic algebra of hidden symmetries. We study the finite and infinite irreducible…

Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result.…

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

Let $T$ be an absolutely continuous polynomially bounded operator, and let $\theta$ be a singular inner function. It is shown that if $\theta(T)$ is invertible and some additional conditions are fulfilled, then $T$ has nontrivial…

A canonical factorization is given for a quadratic pencil of accretive operators in a Hilbert space. Also, we establish some relationships between an m-accretive operator and its Moore-Penorse inverse. As an application, we study a result…

We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite…

We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…

In this paper we give an alternative construction using Monk like algebras that are binary generated to show that the class of strongly representable atom structures is not elementary. The atom structures of such algebras are cylindric…

We show that several convolution operators on the space of entire functions, such as the MacLane operator, support a dense hypercyclic algebra that is not finitely generated. Birkhoff's operator also has this property on the space of…

We consider algebras over a field K, generated by two variables x and y subject to the single relation yx = qxy + ax + by + c for q in K^* and a, b, c in K. We prove, that among such algebras there are precisely five isomorphism classes.…