scientific article; zbMATH DE number 3639689
From MaRDI portal
Publication:4200260
zbMath0412.08001MaRDI QIDQ4200260
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monographindependencebibliographyequational logicresearch surveycongruence latticesubalgebra latticeequational 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)
Related Items (only showing first 100 items - show all)
Equational logics (birkhoff's method revisited) ⋮ Inverse limits of algebras as retracts of their direct products ⋮ Unnamed Item ⋮ Meta-Analysis of Inter-theoretical Relations: Reduction, Realization, and Micro-Macro Relations of Systems ⋮ Beyond Logical Approach to Systems Theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantum logics representable as kernels of measures ⋮ On some non-obvious connections between graphs and unary partial algebras ⋮ Orthomodular lattices with state-separated noncompatible pairs ⋮ One-Variable Equational Compactness in Partially Distributive Semilattices with Pseudocomplementation ⋮ Permutable groupoids ⋮ Varieties of Rings with Definable Principal Congruences ⋮ Unnamed Item ⋮ THE DISTRIBUTIVITY SPECTRUM OF BAKER’S VARIETY ⋮ An introduction to category-based equational logic ⋮ Strongly minimal Steiner systems. II: Coordinatization and quasigroups ⋮ On automorphisms of categories with applications to universal algebraic geometry ⋮ Universal algebraic methods for non-classical logics ⋮ A MINIMAL CONGRUENCE LATTICE REPRESENTATION FOR ⋮ Maximal models up to the first measurable in ZFC ⋮ Towards a finer classification of strongly minimal sets ⋮ On the Universal Theory of Classes of Finite Models ⋮ Aperiodicity in Tree Automata ⋮ On endomorphisms of power-semigroups ⋮ Bi-intuitionistic implication structures ⋮ Iteration Semirings ⋮ Free Vector Lattices and Free Vector Lattice Algebras ⋮ A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths ⋮ Collapsing partial combinatory algebras ⋮ Unnamed Item ⋮ Varieties of Commutative Semigroups ⋮ On a problem of Gabriel and Ulmer ⋮ Games for Temporal Logics on Trees ⋮ Computational complexity of some problems involving congruences on algebras ⋮ On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras ⋮ Unnamed Item ⋮ Pseudobases in Direct Powers of an Algebra ⋮ Unnamed Item ⋮ The Fraser-Horn and Apple Properties ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Medial idempotent groupoids. I ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Invertible binary algebras principally isotopic to a group ⋮ Partial clones ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rectangular groupoids ⋮ Unnamed Item ⋮ Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Varieties of commutative semigroups closed under dominions ⋮ Mal'cev conditions for directly decomposable compatible relations ⋮ Inherently nonfinitely based lattices ⋮ Free Products of Inverse Semigroups ⋮ Some analytic features of algebraic data ⋮ Bjarni Jónsson's contributions in algebra ⋮ Constellations and their relationship with categories ⋮ On algebraic and logical specifications of classes of regular languages. ⋮ Equational theories of tropical semirings ⋮ Extensions of Algebraic Systems ⋮ D-semigroups and constellations ⋮ Varieties of completely regular semigroups generated by Mal'cev products ⋮ Lattices of polynomials under substitution ⋮ Algebraic characterization of conflict-free varieties of partial algebras ⋮ Mal'tsev products of varieties. I ⋮ On the existence of free models in abstract algebraic institutions ⋮ Unnamed Item ⋮ Free-lattice functors weakly preserve epi-pullbacks ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ Congruence lattices of function lattices ⋮ Defining subdirect product closed classes in infinitary logic ⋮ Hanf numbers for extendibility and related phenomena ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ The lattice of convexities of partial monounary algebras ⋮ Preserving near unanimity terms under products ⋮ The word and generator problems for lattices ⋮ On the existence of congruence-uniform structures on universal algebras ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Normal subalgebras. I ⋮ A complete many-valued logic with product-conjunction ⋮ An algebraic treatment of quantifier-free systems of arithmetic ⋮ Logical quantizations of first-order structures ⋮ Continuous monoids and semirings ⋮ Unnamed Item ⋮ On identities of baric algebras and superalgebras ⋮ Unification theory ⋮ A glimpse of deductive systems in algebra ⋮ Primitive and almost primitive elements of Schreier varieties ⋮ Free products of pseudocomplemented semilattices -- revisited ⋮ The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra ⋮ Congruence preserving functions on free monoids
This page was built for publication:
