scientific article; zbMATH DE number 3987347
latticescommutatorcongruence latticescongruencesfinite algebrasrefinement propertyprojective geometriesclonesindecomposable algebrassubdirect representationsmonadic algebrasdirect join decompositionmodular lattices of finite heightunique factorization of algebras
Structure theory of lattices (06B05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Modular lattices, Desarguesian lattices (06C05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Complemented modular lattices, continuous geometries (06C20) Algebraic structures (08Axx) Varieties (08Bxx)
- Algebras, lattices, varieties. Volume I. With an additional bibliography
- Algebras, lattices, varieties. Volume II
- Algebras, lattices, varieties. Volume III
- Varieties of algebras and algebraic varieties
- Algebras and varieties
- Varieties of lattice-ordered algebras
- scientific article; zbMATH DE number 3179493
- On lattice-universal varieties of algebras
- On lattices of varieties of universal algebras
- scientific article; zbMATH DE number 3926997
- Atomicity And Nilpotence
- scientific article; zbMATH DE number 7268091 (Why is no real title available?)
- Quasiorder lattices of varieties
- Simple equations on real intervals
- The Jónsson distributivity spectrum
- The category of varieties and interpretations is alg-universal
- Varieties of Boolean inverse semigroups
- Hyperidentities and related concepts. II
- On the complexity of the Leibniz hierarchy
- Finitely Presented Lattices: Canonical Forms and the Covering Relation
- Many-sorted algebras in congruence modular varieties
- On the existence of congruence-uniform structures on universal algebras
- Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras
- Irredundant decomposition of algebras into one-dimensional factors
- Computational complexity of some problems involving congruences on algebras
- Linear Heyting algebras with a quantifier
- THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
- Algebras, lattices, varieties. Volume III
- A note on guarded theories
- Congruence modularity implies the Arguesian law for single algebras with a difference term
- On arithmetical varieties of near-rings
- An extended Ockham algebra with endomorphism kernel property
- On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras
- Invariance groups of functions and related Galois connections
- Cancellation among finite unary algebras
- A temporal semantics for nilpotent minimum logic
- A finite equational axiomatization of the functional algebras for the lambda calculus
- Decidable Discriminator Varieties from Unary Classes
- Towards lambda calculus order-incompleteness
- \(\mathcal{M}\)-coextensive objects and the strict refinement property
- Metrizability and coconnectedness
- On the Relationship Between AP, RS and CEP
- Nonassociative Boolean ring varieties
- On the atoms of algebraic lattices arising in 𝔮-theory
- Identities and bases in the Sylvester and Baxter monoids
- A theorem of Mumford and Ramanujam for universal algebras
- scientific article; zbMATH DE number 3931089 (Why is no real title available?)
- The ordering of commutative terms
- The partially ordered monoid generated by the operators \(H, S, P_{u}, P_{f}\) on classes of algebras
- Some near-rings in which all ideals are intersections of Noetherian quotients.
- Learnability of solutions to conjunctive queries
- Minimal varieties and quasivarieties of semilattices with one automorphism
- On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II
- Finitely Decidable Congruence Modular Varieties
- Two equational theories of partial words
- The lattice generated by some subvarieties of completely regular semigroups.
- Factor varieties
- Semilattice transversals of regular bands. II
- Commutator Theory Without Join-Distributivity
- Complexity of term representations of finitary functions
- Varieties having Boolean factor congruences
- Structural matrix algebras and their lattices of invariant subspaces
- On finite alphabets and infinite bases
- Quasivarieties with definable relative principal subcongruences
- Algebraization of quantifier logics, an introductory overview
- ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS
- Strong endomorphism kernel property for monounary algebras.
- A finite set of functions with an EXPTIME-complete composition problem
- Isotopic algebras with nonisomorphic congruence lattices.
- The strong endomorphism kernel property for modular p-algebras and for distributive lattices
- Axiomatizability by \({\forall \exists!}\)-sentences
- Braids and partial permutations.
- Definability in substructure orderings. I: Finite semilattices
- Homomorphic images of finite subdirectly irreducible unary algebras
- Growth problems for avoidable words
- Polynomial interpolation in expanded groups.
- Definability in substructure orderings. IV: Finite lattices
- Definability in substructure orderings. III: Finite distributive lattices
- 2-supernilpotent Mal'cev algebras
- Affine completeness of some modules
- Sequences of commutator operations
- A new approach for classification of filters in residuated lattices
- A general Galois theory for operations and relations in arbitrary categories
- Boolean-like algebras
- Constantive Mal’cev clones on finite sets are finitely related
- A short introduction to clones.
- Clones with nullary operations.
- Dualizing clones as models of Lawvere theories.
- A field guide to equational logic
- Varieties generated by modes of submodes
- On some congruences of power algebras
- The near-ring of congruence-preserving functions on an expanded group.
- Growth of generating sets for direct powers of classical algebraic structures
- Defining relations for idempotent generators in finite partial transformation semigroups.
- The shape of congruence lattices
- Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
- All clones are centralizer clones
- Maps of finite powers of metric spaces (recursive conditions for spaces at work)
- On finitely based groups and nonfinitely based quasivarieties
- Fully invariant and verbal congruence relations
- Discriminator varieties and symbolic computation
- Universal algebra. Fundamentals and selected topics
- A Characterization of Minimal Locally Finite Varieties
- On the number of finite algebraic structures
- Normal subalgebras. I
- Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups
- On independent varieties and some related notions
- Series and 1-affine completeness
- Amalgamation and interpolation in ordered algebras.
- Abelian algebras and the Hamiltonian property
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3751631)