English
Related papers

Related papers: Algebraic geometry over Boolean algebras in the la…

200 papers

Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…

Functional Analysis · Mathematics 2007-05-23 Antoine Delcroix , Maximilian F. Hasler , Stevan Pilipović , Vincent Valmorin

A Lie algebra is said to be quadratic if it admits a symmetric invariant and non-degenerated bilinear form. Semisimple algebras with the Killing form are examples of these algebras, while orthogonal subspaces provide abelian quadatric…

Rings and Algebras · Mathematics 2023-09-01 Pilar Benito , Jorge Roldán-López

We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In…

Logic · Mathematics 2025-01-17 Amir Farahmand Parsa , Meghdad Ghari

We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…

Logic · Mathematics 2016-09-06 Bohuslav Balcar , Thomas Jech , Jindřich Zapletal

Ideas from deformation quantization applied to algebras with one generator lead to methods to treat a nonlinear flat connection. It provides us elements of algebras to be parallel sections. The moduli space of the parallel sections is…

Quantum Algebra · Mathematics 2007-11-26 Hideki Omori , Yoshiaki Maeda , Naoya Miyazaki , Akira Yoshioka

We consider a natural generalisation of symmetric Nakayama algebras, namely, symmetric special biserial algebras with at most one non-uniserial indecomposable projective module. We describe the basic algebras explicitly by quiver and…

Representation Theory · Mathematics 2013-10-14 Nicole Snashall , Rachel Taillefer

A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…

Rings and Algebras · Mathematics 2021-10-18 Katarzyna Słomczyńska

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…

Group Theory · Mathematics 2022-06-23 Peter M Higgins , Marcel Jackson

In this note we shall generalize the Stone duality between compact totally disconnected spaces and Boolean algebras to a duality between all complete non-Archimedean uniform spaces and Boolean algebras.

General Topology · Mathematics 2011-05-12 Joseph Van Name

A brief survey of some aspects of noetherian Hopf algebras is given, concentrating on structure, homology, and classification, and accompanied by a panoply of open problems.

Rings and Algebras · Mathematics 2012-01-24 K. R. Goodearl

We present a new approach to ternary Boolean algebras in which negation is derived from the ternary operation. The key aspect is the replacement of complete commutativity by other axioms that do not require the ternary operation to be…

Logic · Mathematics 2022-01-03 J. P. Fatelo , N. Martins-Ferreira

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…

Category Theory · Mathematics 2017-07-21 Greg Stevenson

A C*-algebra is n-homogeneous (where n is finite) if every its nonzero irreducible representation acts on an n-dimensional Hilbert space. An elementary proof of Fell's characterization of n-homogeneous C*-algebras (by means of their…

Operator Algebras · Mathematics 2017-05-26 Piotr Niemiec

We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.

Category Theory · Mathematics 2013-03-26 Ganna Kudryavtseva , Mark V Lawson

For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied…

Representation Theory · Mathematics 2007-05-23 B. Plotkin , A. Tsurkov

The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. This paper studies analogical proportions in the boolean domain consisting of two elements 0 and 1…

Artificial Intelligence · Computer Science 2024-08-07 Christian Antić

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…

Rings and Algebras · Mathematics 2007-05-23 Alexander Polishchuk

In this paper we show that for a large natural class of vertex operator algebras (VOAs) and their modules, the Zhu algebras and bimodules (and their $g$-twisted analogs) are Noetherian. These carry important information about the…

Quantum Algebra · Mathematics 2024-06-04 Jianqi Liu

Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back…

Quantum Physics · Physics 2015-05-20 Costantino Budroni , Giovanni Morchio

We study group algebras for compact groups in the category of real and complex weakly complete vector spaces. We also show that the group algebra is a quotient of the weakly complete universal enveloping algebra of the Lie algebra of the…

Group Theory · Mathematics 2019-11-18 Karl Heinrich Hofmann , Linus Kramer