scientific article; zbMATH DE number 3639689

MaRDI QIDQ4200260zbMATH OpenFDO

Authors G. Grätzer

Publication date 1979

zbMATH Keywords

automorphism group of infinitary algebrabibliographycongruence latticecongruence varietiesequational compactnessequational logicindependencemonographprimal algebrasresearch surveysubalgebra lattice

Mathematics Subject Classification ID

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

Cited in

(only showing first 100 items - show all)

• On the existence of free models in abstract algebraic institutions
• The word and generator problems for lattices
• Unification theory
• The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
• Some applications of the term condition
• Formal translation monoid and algebra congruences in a monoidal category
• Hyperidentities and hypervarieties
• Armstrong databases for functional and inclusion dependencies
• Amalgamation for direct systems
• Binary hyperidentities of lattices
• Polynomial identities of Bernstein algebras of small dimension
• A finite equational axiomatization of the functional algebras for the lambda calculus
• Completely regular semigroup varieties generated by Mal'cev products with groups
• Bjarni Jónsson's contributions in algebra
• Varieties of completely regular semigroups generated by Mal'cev products
• Congruence lattices of function lattices
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• On the existence of congruence-uniform structures on universal algebras
• On identities of baric algebras and superalgebras
• Test sets for the universal and existential closure of regular tree languages.
• On the equational definition of the least prefixed point.
• Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. I: Interval equivalence.
• Extending Stone duality to multisets and locally finite MV-algebras.
• On the algebraic models of lambda calculus
• On diagrams and flatness of functors
• Inherently nonfinitely based lattices
• Some analytic features of algebraic data
• The lattice of convexities of partial monounary algebras
• Congruence preserving functions on free monoids
• Relative congruence formulas and decompositions in quasivarieties
• Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
• A unifying theorem for algebraic semantics and dynamic logics
• On equational theories, unification, and (un)decidability
• On some graph problem in the theory of partial algebras. I.
• On the structure of varieties with equationally definable principal congruences. I
• Tabular parsing and algebraic transformations
• The max-plus algebra of the natural numbers has no finite equational basis
• On algebraic and logical specifications of classes of regular languages.
• Equational theories of tropical semirings
• A complete many-valued logic with product-conjunction
• An algebraic treatment of quantifier-free systems of arithmetic
• Logical quantizations of first-order structures
• The data type of spatial objects
• On the homological classification of semirings
• Categorial independence and Lévy processes
• Dynamic Łukasiewicz logic and its application to immune system
• Free-lattice functors weakly preserve epi-pullbacks
• Hanf numbers for extendibility and related phenomena
• The Bohr compactification of an abelian group as a quotient of its Stone-Čech compactification
• Affine completeness of the algebra of full binary trees
• The subalgebra lattice of a finite algebra
• Refinement in hybridised institutions
• Constellations and their relationship with categories
• D-semigroups and constellations
• Lattices of polynomials under substitution
• Algebraic characterization of conflict-free varieties of partial algebras
• Defining subdirect product closed classes in infinitary logic
• Primitive and almost primitive elements of Schreier varieties
• On powers of relational and algebraic systems
• Identities for primal Menger algebras
• Decomposition of pseudo-effect algebras and the Hammer-Sobczyk theorem
• ( L, L')-products of algebras
• The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
• Free and projective bimodal symmetric Gödel algebras
• scientific article; zbMATH DE number 2185579 (Why is no real title available?)
• Arithmeticity at 0
• On the coset structure of a skew lattice
• A Characterization of Finitely Decidable Congruence Modular Varieties
• Congruence relations on finitary models
• Preserving near unanimity terms under products
• Free Products of Inverse Semigroups
• Extensions of Algebraic Systems
• Mal'cev conditions for directly decomposable compatible relations
• scientific article; zbMATH DE number 4154514 (Why is no real title available?)
• Aperiodicity in Tree Automata
• Iteration Semirings
• Normal subalgebras. I
• Games for Temporal Logics on Trees
• On the Universal Theory of Classes of Finite Models
• Rectangular groupoids
• scientific article; zbMATH DE number 3963901 (Why is no real title available?)
• scientific article; zbMATH DE number 3989658 (Why is no real title available?)
• scientific article; zbMATH DE number 4012702 (Why is no real title available?)
• The Fraser-Horn and Apple Properties
• scientific article; zbMATH DE number 4043916 (Why is no real title available?)
• scientific article; zbMATH DE number 4045802 (Why is no real title available?)
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• scientific article; zbMATH DE number 4099395 (Why is no real title available?)
• scientific article; zbMATH DE number 4101436 (Why is no real title available?)
• scientific article; zbMATH DE number 4108844 (Why is no real title available?)
• One-Variable Equational Compactness in Partially Distributive Semilattices with Pseudocomplementation
• scientific article; zbMATH DE number 3771687 (Why is no real title available?)
• Medial idempotent groupoids. I
• scientific article; zbMATH DE number 90563 (Why is no real title available?)
• scientific article; zbMATH DE number 90579 (Why is no real title available?)
• Pseudobases in Direct Powers of an Algebra
• Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
• scientific article; zbMATH DE number 566409 (Why is no real title available?)
• Varieties of Commutative Semigroups
• Quantum logics representable as kernels of measures

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)