scientific article; zbMATH DE number 3751028

Lattice ideals, congruence relations (06B10) Complete lattices, completions (06B23) Stone spaces (Boolean spaces) and related structures (06E15) Boolean algebras (Boolean rings) (06Exx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Structure theory of algebraic structures (08A05) Automorphisms and endomorphisms of algebraic structures (08A35) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Free algebras (08B20) Products, amalgamated products, and other kinds of limits and colimits (08B25) Varieties (08Bxx) Axiomatic model classes (08C10)

Cited in

(only showing first 100 items - show all)

Infinite-vertex free profinite semigroupoids and symbolic dynamics.
Behavioral algebraization of logics
Affine systems of equations and counting infinitary logic
Taking degrees of truth seriously
Orthocomplemented posets with a symmetric difference
On averaging Frankl's conjecture for large union-closed-sets
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Undecidable problems for completely 0-simple semigroups.
On free spectra of finite completely regular semigroups and monoids.
Set based logic programming
The subvariety lattice of the join of two semigroup varieties.
Commutative integral bounded residuated lattices with an added involution
Generalizations of Boolean products for lattice-ordered algebras
Quasivarieties with definable relative principal subcongruences
A temporal semantics for basic logic
Topological representation for monadic implication algebras
Hereditarily finitely based monoids of extensive transformations.
Fuzzy homomorphisms of algebras
Algebraically expandable classes
Complemented modular lattices with involution and orthogonal geometry
Semiconic idempotent residuated structures
Essential variables and positions in terms
Congruence modularity implies cyclic terms for finite algebras
Rough sets determined by quasiorders
A groupoid approach to discrete inverse semigroup algebras
Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
Amalgamation classes of some distributive varieties
Mal'tsev conditions and representability of varieties
Multiple Boolean algebras and their application to fuzzy sets
Interpolation and the Robinson property for logics not closed under the Boolean operations
Discriminator polynomials and arithmetical varieties
Iterated discriminator varieties have undecidable theories
Functions on universal algebras
Expanding varieties by monoids of endomorphisms
The cardinality of subdirectly indecomposable systems in quasivarieties
Elementary and algebraic properties of the Arens-Kaplansky constructions
Remarks on the Fraser-Horn property
Decidable unary varieties
On the relationship of AP, RS and CEP in congruence modular varieties
Cosets in universal algebra
Saturated algebras in filtral varieties
De Morgan algebras are universal
Lee classes and sentences for pseudo-complemented semilattices
Relations of imbeddability and epimorphism on congruence-distributive varieties
W-algebras which are Boolean products of members of SR[1] and CW- algebras
Strongly regular rings and rational identities of division rings
A note on algebraically and existentially closed structures
Finite equational bases for subalgebra distributive varieties
Undecidability of relatively free Hilbert algebras
Primitive positive clones which are endomorphism clones
Finite algebras with Abelian properties
On finite bases for varieties and pseudovarieties
On the lattice of extensions of the modal logics \(KAlt_ n\)
Weak distributive laws and their role in lattices of congruences and equational theories
Finitely generated clones of terms
Generators, indecomposables and free algebras
Congruence relations on De Morgan algebras
Unification theory
Compositions with superlinear deterministic top-down tree transformations
Universal algebras
A characterization of congruence permutable locally finite varieties
On iterated semidirect products of finite semilattices
Elementary equivalent pairs of algebras associated with sets
On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar
Nonassociative Boolean ring varieties
Orthomodular lattices whose MacNeille completions are not orthomodular
An algebraic characterization of semantic independence
Quantifiers on distributive lattices
Congruence uniform distributive lattices
Construction of monadic three-valued Łukasiewicz algebras
Algebraization of quantifier logics, an introductory overview
Discriminator varieties and symbolic computation
Priestley duality and quotient lattices of many-valued algebras
Sheaf representation and Chinese Remainder Theorems
Effective subdirect decomposition: A case study
A field guide to equational logic
Subsumption computed algebraically
Countable skeletons of finitely generated discriminator varieties
On amalgamation classes of pseudocomplemented semilattices
Irreducible orthomodular lattices which are simple
The lattice of distributive closure operators over an algebra
On the lattice of completely regular monoid varieties
Congruence lattices of powers of an algebra
Semidirect products of pseudovarieties from the universal algebraist's point of view
On finitely based groups and nonfinitely based quasivarieties
Category equivalence preserves unification type
Varieties of shells
Subquasivarieties of regularized varieties
An algebraic generalization of Frege structures -- binding algebras
General varieties of tree languages
\(E\)-solid e-varieties are not finitely based
A finite equational axiomatization of the functional algebras for the lambda calculus
Graphical operations on projective spaces
Prime spectra of lattice-ordered abelian groups
A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism
Arguesian identities in linear lattices
Congruence modularity implies the Arguesian law for single algebras with a difference term
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
Model theoretic properties in the variety generated by a primal algebra
On the structure of varieties with equationally definable principal congruences. IV

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 Q3934450)