English
Related papers

Related papers: Semi-Cohen Boolean algebras

200 papers

We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…

Rings and Algebras · Mathematics 2017-12-05 Alexei Belov-Kanel , Louis H. Rowen , Uzi Vishne

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

A systematic method is presented for the construction and classification of algebras of gauge transformations for arbitrary high rank tensor gauge fields. For every tensor gauge field of a given rank, the gauge transformation will be…

High Energy Physics - Theory · Physics 2020-12-29 Spyros Konitopoulos

We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…

Rings and Algebras · Mathematics 2017-08-31 Miodrag Iovanov , Alexander Sistko

In this paper, we introduce the notion of algebras of quotients of Hom-Lie algebras and investigate some properties which can be lifted from a Hom-Lie algebra to its algebra of quotients. We also give some necessary and sufficient…

Rings and Algebras · Mathematics 2020-08-03 Chenrui Yao , Liangyun Chen

A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Frechet.

Logic · Mathematics 2017-05-03 Thomas Jech

In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra…

Rings and Algebras · Mathematics 2021-03-24 Ivan Chajda , Helmut Länger

A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…

K-Theory and Homology · Mathematics 2011-11-03 Murray Gerstenhaber

A Souslin algebra is a complete Boolean algebra whose main features are ruled by a tight combination of an antichain condition with an infinite distributive law. The present article divides into two parts. In the first part a representation…

Logic · Mathematics 2009-04-02 Gido Scharfenberger-Fabian

We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…

Logic · Mathematics 2013-10-15 Jamshid Derakhshan , Angus Macintyre

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

We define a (co-)Poisson (co)algebra of curves on a bordered surface. A bordered surface is a surface whose boundary have marked points. Curves on the bordered surface are oriented loops and oriented arcs whose endpoints in the set of…

Geometric Topology · Mathematics 2015-07-08 Wataru Yuasa

In the literature on Kleene algebra (KA), a number of variants have been proposed such as Kleene algebra with tests, commutative KA, bi-KA, and concurrent KA. The equational theories of some of these structures have then been studied in the…

Logic in Computer Science · Computer Science 2026-05-19 Lukas Mulder , Damien Pous , Jana Wagemaker

We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In…

Logic · Mathematics 2024-12-19 Ziemowit Kostana

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

Logic · Mathematics 2015-03-27 Su Gao , Steve Jackson , Edward Krohne , Brandon Seward

A semi-Peano algebra is an algebra for which each operation is injective, and the images of the operations are pairwise disjoint. The most straightforward non-trivial kind of finitely presented semi-Peano algebra are algebras with a single…

Rings and Algebras · Mathematics 2023-06-23 Carles Cardó

Boolean locales are "almost discrete", in the sense that a spatial Boolean locale is just a discrete locale (that is, it corresponds to the frame of open subsets of a discrete space, namely the powerset of a set). This basic fact, however,…

Logic · Mathematics 2024-02-14 Francesco Ciraulo

In \cite{AB}, the dagger closure is extended over finitely generated modules over Noetherian local domain $(R,\fm)$ and it is proved to be a Dietz closure. In this short note we show that it also satisfies the `Algebra axiom' of \cite{R.G}…

Commutative Algebra · Mathematics 2016-03-30 Rajsekhar Bhattacharyya

We observe \cite[Proposition 4.1]{LaLe} that Poisson polynomial extensions appear as semiclassical limits of a class of Ore extensions. As an application, a Poisson generalized Weyl algebra $A_1$ considered as a Poisson version of the…

Rings and Algebras · Mathematics 2016-06-22 Eun-Hee Cho , Sei-Qwon Oh

A new class of Poisson algebras, the class of {\em generalized Weyl Poisson algebras}, is introduced. It can be seen as Poisson algebra analogue of generalized Weyl algebras or as giving a Poisson structure to (certain) generalized Weyl…

Rings and Algebras · Mathematics 2019-10-23 V. V. Bavula