scientific article; zbMATH DE number 3639689

zbMATH Open0412.08001MaRDI QIDQ4200260FDOQ4200260

Publication date: 1979

Title of this publication is not available (Why is that?)

monograph independence bibliography congruence lattice equational logic subalgebra lattice research survey equational compactness primal algebras congruence varieties automorphism group of infinitary algebra

Mathematics Subject Classification ID

Consistency and independence results (03E35) Algebraic structures (08Axx) Varieties (08Bxx) Other classes of algebras (08Cxx) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Cited In (only showing first 100 items - show all)

Collapsing partial combinatory algebras
Title not available (Why is that?)
On equational theories, unification, and (un)decidability
Tabular parsing and algebraic transformations
Equational theories of tropical semirings
THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY
Some analytic features of algebraic data
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
Orthomodular lattices with state-separated noncompatible pairs
Polynomial identities of Bernstein algebras of small dimension
Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. I: Interval equivalence.
The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
On identities of baric algebras and superalgebras
Aperiodicity in Tree Automata
Congruence preserving functions on free monoids
Congruence relations on finitary models
On powers of relational and algebraic systems
Bi-intuitionistic implication structures
A finite equational axiomatization of the functional algebras for the lambda calculus
The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
Permutable groupoids
The lattice of subvarieties of the variety defined by externally compatible identities of abelian groups of exponent \(n\)
On algebraic and logical specifications of classes of regular languages.
Title not available (Why is that?)
Completely regular semigroup varieties generated by Mal'cev products with groups
On some non-obvious connections between graphs and unary partial algebras
Logical quantizations of first-order structures
Decomposition of pseudo-effect algebras and the Hammer-Sobczyk theorem
On the homological classification of semirings
Free Vector Lattices and Free Vector Lattice Algebras
On the Universal Theory of Classes of Finite Models
Title not available (Why is that?)
Formal translation monoid and algebra congruences in a monoidal category
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
Bjarni Jónsson's contributions in algebra
An algebraic treatment of quantifier-free systems of arithmetic
Amalgamation for direct systems
The data type of spatial objects
Identities for primal Menger algebras
Algebraic characterization of conflict-free varieties of partial algebras
Title not available (Why is that?)
Medial idempotent groupoids. I
A unifying theorem for algebraic semantics and dynamic logics
Title not available (Why is that?)
The Fraser-Horn and Apple Properties
Binary hyperidentities of lattices
Computational complexity of some problems involving congruences on algebras
Quantum logics representable as kernels of measures
On some graph problem in the theory of partial algebras. I.
Refinement in hybridised institutions
On the existence of congruence-uniform structures on universal algebras
Title not available (Why is that?)
A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths
Title not available (Why is that?)
Programs in partial algebras
Classification of all associative mono-\(n\)-ary algebras with 2 elements
Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
Mal'tsev products of varieties. I
\((\mathcal L\), \(\mathcal L')\)-products of algebras
Relative congruence formulas and decompositions in quasivarieties
The lattice of convexities of partial monounary algebras
D-semigroups and constellations
Dynamic Łukasiewicz logic and its application to immune system
Armstrong databases for functional and inclusion dependencies
An introduction to category-based equational logic
The word and generator problems for lattices
Varieties of completely regular semigroups generated by Mal'cev products
A 2-categorial generalization of the concept of institution
Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
Arithmeticity at 0
Hyperidentities and hypervarieties
On the existence of free models in abstract algebraic institutions
On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras
Fuzzy power structures
Title not available (Why is that?)
Varieties of Commutative Semigroups
Constructive universal algebra: An introduction
Convex powerdomains. I
Matching - a special case of unification?
A Characterization of Finitely Decidable Congruence Modular Varieties
Extending Stone duality to multisets and locally finite MV-algebras.
Extensions of Algebraic Systems
Continuous monoids and semirings
Unification in a combination of arbitrary disjoint equational theories
Congruence lattices of function lattices
On automorphisms of categories with applications to universal algebraic geometry
Varieties of Rings with Definable Principal Congruences
A glimpse of deductive systems in algebra
Unification theory
Inherently nonfinitely based lattices
Free products of pseudocomplemented semilattices -- revisited
Some applications of the term condition
Profinite completions and canonical extensions of Heyting algebras
On the structure of varieties with equationally definable principal congruences. I
On the algebraic models of lambda calculus
The unique minimal clone with three essentially binary operations
Iteration Semirings
Free and projective bimodal symmetric Gödel algebras
Unions of parafree Lie algebras
Title not available (Why is that?)

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