Results 11 to 20 of about 620 (243)
The Lattice of Varieties of Implication Semigroups [PDF]
Compared with the previous version, we rewrite Section 3 and add Appendixes A and ...
Sergey V. Gusev +2 more
openaire +3 more sources
Varieties of Lattices with Geometric Descriptions [PDF]
A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved. Herrmann, Pickering, and Roddy proved in 1994 that every modular lattice can be embedded, within its variety, into an ...
Luigi Santocanale, Friedrich Wehrung
openaire +5 more sources
Ideals and congruences in $L$-algebras and pre-$L$-algebras [PDF]
We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra.
Marino Gran +2 more
doaj +1 more source
Moduli space singularities for 3d N = 4 $$ \mathcal{N}=4 $$ circular quiver gauge theories
The singularity structure of the Coulomb and Higgs branches of good 3d N = 4 $$ \mathcal{N}=4 $$ circular quiver gauge theories (CQGTs) with unitary gauge groups is studied. The central method employed is the Kraft-Procesi transition. CQGTs are described
Jamie Rogers, Radu Tatar
doaj +1 more source
Simple and subdirectly irreducibles bounded distributive lattices with unary operators
We characterize the simple and subdirectly irreducible distributive algebras in some varieties of distributive lattices with unary operators, including topological and monadic positive modal algebras. Finally, for some varieties of Heyting algebras with
Sergio Arturo Celani
doaj +1 more source
Compact elements in the lattice of varieties [PDF]
Summary: We prove that the lattice of varieties contains almost no compact elements.
Ježek, J., Slavík, V.
openaire +1 more source
The Order of Hypersubstitutions of Type (2,1)
Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to 𝑀-hyperidentities.
Tawhat Changphas, Wonlop Hemvong
doaj +1 more source
On the lattice of varieties of bands of groups [PDF]
1* Introduction* When considered as semigroups with an additional unary operation x —> x~\ where x~ denotes the (unique) inverse of x in the subgroup to which it belongs, the class CR of completely regular semigroups (often called unions of groups) forms a variety of universal algebras, containing as a subvariety thevariety BG of bands of groups (those
Hall, T. E., Jones, P. R.
openaire +3 more sources
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source
We show that there are varieties of somewhat different loop soliton lattices when we specify an integration path in No Integrability Aesthetic Field Theory. These are illustrated using two dimensional computer maps.
M. Muraskin
doaj +1 more source

