scientific article; zbMATH DE number 3019695
From MaRDI portal
Publication:5762080
zbMath0013.00105MaRDI QIDQ5762080
Publication date: 1935
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Structure theory of lattices (06B05) Structure theory of algebraic structures (08A05) Relational systems, laws of composition (08A02) Automorphisms and endomorphisms of algebraic structures (08A35)
Related Items
Finite Models for Laws in Two Variables, A survey on varieties generated by small semigroups and a companion website, Fibered universal algebra for first-order logics, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, Algebraic representation of frame-valued continuous lattices via the open filter monad, HSP type theorems in the category of posets, Universal algebraic methods for non-classical logics, Defining identities for mono and binary Zinbiel algebras, Algebras from finite group actions and a question of Eilenberg and Schützenberger, The associative-commutative spectrum of a binary operation, A fixed point theorem for set-valued quasi-contractions in \(b\)-metric space of zero at infinity varieties, Egoroff Properties and the Order Topology in Riesz Spaces, Cylindric Algebras and Algebras of Substitutions, Equational axiomatizability for coalgebra, A general framework to build contextual cover set induction provers, Intrinsic reasoning about functional programs. I: First order theories, What is the coalgebraic analogue of Birkhoff's variety theorem?, Residuated Lattices, Some remarks on free categories and free groupoids, Canonical varieties with no canonical axiomatisation, Composita, Equations, and Freely Generated Algebras, Finite Models of Identities, Relations binaires, fermetures, correspondances de Galois, Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras, Duality for groups, Duality for groups, Residuated lattices., Lattices, equivalence relations, and subgroups, Representation of Jordan and Lie Algebras, Identities in Two-Valued Calculi, A remark on equational completeness, A Factoring Theorem for Homomorphisms, A characterization of strong semilattices of periodic groups and rectangular bands by disjunctions of identities, Inherently nonfinitely based lattices, A relative interpolation theorem for infinitary universal Horn logic and its applications, From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again, Pseudovarieties of algebras with fuzzy equalities., The Existence of Free Unions in Classes of Abstract Algebras, Unnamed Item, Unnamed Item, Parameter-preserving data type specifications, Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples, Quasi-varieties in abstract algebraic institutions, Free and projective bimodal symmetric Gödel algebras, Rewriting techniques for program synthesis, Vigier's theorem for the spectral order and its applications, A unified framework for notions of algebraic theory, Unnamed Item, Buchberger's algorithm: The term rewriter's point of view, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Unification in combinations of collapse-free regular theories, Axiomatizations of universal classes through infinitary logic, Is the principle of contradiction a consequence of \(x^2=x\)?, The intersection of algebra and coalgebra, Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green, On generalized algebraic theories and categories with families, Unification theory, Regular Varieties of Automata and Coequations, A note on the finite basis and finite rank properties for pseudovarieties of semigroups, A rewrite approach for constraint logic programming, An introduction to category-based equational logic, Principles of proof scores in CafeOBJ, On integro-differential algebras., Birkhoff style calculi for hybrid logics, Independence and freedom, Unnamed Item, The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra, A uniform Birkhoff theorem, Unnamed Item, Unnamed Item, Tropical representations and identities of the stylic monoid, Proof theory of higher-order equations: Conservativity, normal forms and term rewriting., Reconstructing the topology of clones, Observational ultraproducts of polynomial coalgebras., Linear $ \mathrm{GLP}$-algebras and their elementary theories, How to centralize and normalize quandle extensions, Duality and Equational Theory of Regular Languages, Tolerance modular varieties of semigroups, The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit., On transitivity and (non)amenability of \(\Aut F_n\) actions on group presentations., The order topology on duals of $C^\ast $-algebras and von Neumann algebras, Unnamed Item, Varieties of Combinatorial Geometries, Basic notions of universal algebra for language theory and graph grammars, Topological methods for algebraic specification, The dual equivalence of equations and coequations for automata, Belnap's logic and conditional composition, Discriminator varieties and symbolic computation, Free objects in triangular matrix varieties and quiver algebras over semirings, Higher-order algebra with transfinite types, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Universal algebra in higher types, Some results about fixed points in the complete metric space of zero at infinity varieties and complete convex metric space of varieties, On the existence and exactness of the associated sheaf functor, Characterizing Mal'cev conditions, The class of topological spaces is equationally definable, Monads in topology, Parallel realization of systems, using factorizations and quotients in categories, An axiom system for the modular logic, The order topology for a von Neumann algebra, On pseudovarieties, Categories as algebra: An essential ingredient in the theory of monoids, Unification in a combination of arbitrary disjoint equational theories, Matching - a special case of unification?, Finite equational bases for finite algebras in a congruence-distributive equational class, Star order and topologies on von Neumann algebras, Maximal n-generated subdirect products, Pseudobases in Direct Powers of an Algebra, Modular specification of process algebras, Primitive Satisfaction and Equational Problems for Lattices and Other Algebras, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, A foundation for probabilistic beliefs with or without atoms, Unnamed Item, An algebraic generalization of Frege structures -- binding algebras, $V$-Lattices of varieties of algebras of different types, Upper bounds on the sizes of finitely generated algebras, Chiungtze C. Tsen (1898-1940) and Tsen's theorems, On equational theories, unification, and (un)decidability, Varieties, Profinite topologies, Completeness of calculii for axiomatically defined classes of algebras, Unnamed Item, On countable n-valued Post algebras, Fixpoint semantics and simulation, Residually small varieties, A hidden agenda, A Dichotomy for First-Order Reducts of Unary Structures, Lattice representations for computability theory, Unnamed Item, Equational methods in first order predicate calculus, Non-finitely based finite involution semigroups with finitely based semigroup reducts, Gruppenuniversalität und Homogenisierbarkeit, Finitely generated equational classes
