scientific article; zbMATH DE number 3639689
zbMATH Open0412.08001MaRDI QIDQ4200260FDOQ4200260
Publication date: 1979
Title of this publication is not available (Why is that?)
monographindependencebibliographycongruence latticeequational logicsubalgebra latticeresearch surveyequational compactnessprimal algebrascongruence varietiesautomorphism group of infinitary algebra
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)