Results 11 to 20 of about 620 (243)

The Lattice of Varieties of Implication Semigroups [PDF]

open access: yesOrder, 2019
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]

open access: yesOrder, 2011
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]

open access: yesCategories and General Algebraic Structures with Applications
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

open access: yesJournal of High Energy Physics, 2018
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

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2006
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]

open access: yesMathematica Bohemica, 2005
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)

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2011
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]

open access: yesPacific Journal of Mathematics, 1980
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]

open access: yesLogical Methods in Computer Science
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

Computer two dimensional maps of loop soliton lattice systems using the new approach to the no integrability Aesthetic field equations

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 1992
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

Home - About - Disclaimer - Privacy