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)

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
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.
On partial \(n\)-ary groupoids whose equivalence relations are congruences
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?)
Preserving near unanimity terms under products
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
The max-plus algebra of the natural numbers has no finite equational basis
Title not available (Why is that?)
Title not available (Why is that?)
Projectivity and unification in locally finite varieties of monadic MV-algebras
Normal subalgebras. I
Hypervarieties of a given type
Title not available (Why is that?)
On diagrams and flatness of functors
Projective MV-algebras and rational polyhedra
Saturated models in institutions
Varieties of commutative residuated integral pomonoids and their residuation subreducts
An approach to Glivenko's theorem in algebraizable logics
Enumerating fuzzy switching functions and free Kleene algebras
On the coset structure of a skew lattice
On the equational definition of the least prefixed point.
Test sets for the universal and existential closure of regular tree languages.
A complete many-valued logic with product-conjunction
Title not available (Why is that?)
The subalgebra lattice of a finite algebra
Triviality, NDOP and stable varieties
Free Products of Inverse Semigroups
Non-euclidean geometries: the Cayley-Klein approach
Relational semantics for Kleene logic and action logic
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
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
Hyperidentities and related concepts. II
Orthomodular lattices with state-separated noncompatible pairs
Hyperidentities and related concepts. I
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

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)