Related papers: Piecewise Boolean algebras and their domains

We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the…

We take a categorical approach to describe ternary derivations and ternary automorphisms of triangular algebras. New classes of automorphisms and derivations of triangular algebras are also introduced and studied.

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.

We introduce the concept of piecewise interlacing zeros for studying the relation of root distribution of two polynomials. The concept is pregnant with an idea of confirming the real-rootedness of polynomials in a sequence. Roughly…

It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure.

It is well known that the variety of Boolean semirings, which is generated by the three element semiring S, is dual to the category of partially Stone spaces. We place this duality in the context of natural dualities. We begin by…

We present the Boolean dimension of a graph, we relate it with the notions of inner, geometric and symplectic dimensions, and with the rank and minrank of a graph. We obtain an exact formula for the Boolean dimension of a tree in terms of a…

Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are…

In this paper, we define partially capable Lie superalgebra. As an application we classify all capable nilpotent Lie superalgebras of dimension less than equal to five.

We characterise the eigenfunctions of an equilateral triangle billiard in terms of its nodal domains. The number of nodal domains has a quadratic form in terms of the quantum numbers, with a non-trivial number-theoretic factor. The patterns…

Orbital semilattices are introduced as bounded semilattices that are, in addition, equipped with an outer multiplication (a semigroup action) and diagonals (a concept borrowed from cylindric algebra), where each semilattice element has a…

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…

We classify, up to isomorphism and up to equivalence, division gradings (by abelian groups) on finite-dimensional simple real algebras. Gradings on finite-dimensional simple algebras are determined by division gradings, so our results give…

All subalgebras, idempotents, left(right) ideals and left quasi-units of two-dimensional algebras are described. Classification of algebras with given number of subalgebras, left(right) ideals are provided. In particular, a list of…

Quadratic Poisson brackets on a vector space equipped with a bilinear multiplication are studied. A notion of a bracket compatible with the multiplication is introduced and an effective criterion of such compatibility is given. Among…

Connections on a trivial bundle MxG can be identified with their holonomy maps, i.e. with homomorphisms of a groupoid of paths in M into the gauge group G. For a connected compact G, various algebras depending on the set of the smooth…

For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the…

For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion…

We determine when a generalized down-up algebra is a Noetherian unique factorisation domain or a Noetherian unique factorisation ring.