Related papers: Some algebraic equivalent forms of $\mathbb{R} \su…
We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…
We extend the theory (formal part only} of algebras with one binary operation (our paper arXiv:math/0110333v1 [math.RA] 31 Oct 2001) to algebras with several operations of any arity.
We show that deformed Heisenberg algebra with reflection emerging in parabosonic constructions is also related to parafermions. This universality is discussed in different algebraic aspects and is employed for the description of spin-j…
Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…
We analyse the fusion of representations of the triplet algebra, the maximally extended symmetry algebra of the Virasoro algebra at c=-2. It is shown that there exists a finite number of representations which are closed under fusion. These…
We generalize a result of Serre's to show that if every vertex of some fixed type of a convex subcomplex of an irreducible spherical building has an opposite, then the subcomplex is completely reducible.
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We define the syntax and reduction relation of a recursively typed lambda calculus with a parallel case-function (a parallel conditional). The reduction is shown to be confluent. We interpret the recursive types as information systems in a…
We show that each classical pseudoriemann symmetric space G/H can be realized as space of pairs of complementary subspaces in a linear space. For each classical symmetric space we construct an open embedding to a grassmannian or to a…
We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…
A $\lambda$-graph system ${\frak L}$ is a generalization of a finite labeled graph and presents a subshift. We will prove that the topological dynamical systems $(X_{{\frak L}_1},\sigma_{{\frak L}_1})$ and $(X_{{\frak L}_2},\sigma_{{\frak…
In this work, we consider Lie algebras L containing a subalgebra isomorphic to sl3 and such that L decomposes as a module for that sl3 subalgebra into copies of the adjoint module, the natural 3-dimensional module and its dual, and the…
In this paper, we are interested in solvable complete Lie algebras, over the field $\K=\R$ or $\mathbb{C}$, which admit a symplectic structure. Specifically, important classes are studied, and a description of complete Lie Algebra with the…
In this paper, some left-symmetric algebras are constructed from linear functions. They include a kind of simple left-symmetric algebras and some examples appearing in mathematical physics. Their complete classification is also given, which…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions
We provide counterexamples to the stable equivalence problem in every dimension $d\geq2$. That means that we construct hypersurfaces $H_1, H_2\subset\mathbb{C}^{d+1}$ whose cylinders $H_1\times\mathbb{C}$ and $H_2\times\mathbb{C}$ are…