scientific article; zbMATH DE number 3019695

zbMATH Open0013.00105MaRDI QIDQ5762080FDOQ5762080

Publication date: 1935

Title of this publication is not available (Why is that?)

equivalence relation automorphism groups lattice of subgroups lattice of subalgebras abstract algebras

Structure theory of lattices (06B05) Relational systems, laws of composition (08A02) Structure theory of algebraic structures (08A05) Automorphisms and endomorphisms of algebraic structures (08A35)

Cited In (only showing first 100 items - show all)

Finite equational bases for finite algebras in a congruence-distributive equational class
Gruppenuniversalität und Homogenisierbarkeit
Finitely generated equational classes
On equational theories, unification, and (un)decidability
Parameter-preserving data type specifications
Varieties of Combinatorial Geometries
Algebraic representation of frame-valued continuous lattices via the open filter monad
Universal algebra in higher types
Title not available (Why is that?)
An introduction to category-based equational logic
Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
An algebraic generalization of Frege structures -- binding algebras
Reconstructing the topology of clones
Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
Pseudovarieties of algebras with fuzzy equalities.
Equational axiomatizability for coalgebra
The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
Basic notions of universal algebra for language theory and graph grammars
Principles of proof scores in CafeOBJ
Duality for groups
Residuated Lattices
Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
Matching - a special case of unification?
Categories as algebra: An essential ingredient in the theory of monoids
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
Varieties
Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green
Unification in a combination of arbitrary disjoint equational theories
Independence and freedom
Discriminator varieties and symbolic computation
Characterizing Mal'cev conditions
On pseudovarieties
Completeness of calculii for axiomatically defined classes of algebras
Unification in combinations of collapse-free regular theories
Unification theory
Intrinsic reasoning about functional programs. I: First order theories
Inherently nonfinitely based lattices
Relations binaires, fermetures, correspondances de Galois
Fixpoint semantics and simulation
The intersection of algebra and coalgebra
Non-finitely based finite involution semigroups with finitely based semigroup reducts
A note on the finite basis and finite rank properties for pseudovarieties of semigroups
Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
Egoroff Properties and the Order Topology in Riesz Spaces
Free and projective bimodal symmetric Gödel algebras
Duality for groups
On integro-differential algebras.
Identities in Two-Valued Calculi
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.
Title not available (Why is that?)
A hidden agenda
Monads in topology
Title not available (Why is that?)
Quasi-varieties in abstract algebraic institutions
Belnap's logic and conditional composition
What is the coalgebraic analogue of Birkhoff's variety theorem?
An axiom system for the modular logic
Chiungtze C. Tsen (1898-1940) and Tsen's theorems
Duality and Equational Theory of Regular Languages
Lattices, equivalence relations, and subgroups
The dual equivalence of equations and coequations for automata
Axiomatizations of universal classes through infinitary logic
Equational methods in first order predicate calculus
Parallel realization of systems, using factorizations and quotients in categories
On generalized algebraic theories and categories with families
Residually small varieties
Title not available (Why is that?)
Topological methods for algebraic specification
A general framework to build contextual cover set induction provers
A relative interpolation theorem for infinitary universal Horn logic and its applications
Cylindric Algebras and Algebras of Substitutions
Higher-order algebra with transfinite types
Canonical varieties with no canonical axiomatisation
Title not available (Why is that?)
Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples
The order topology for a von Neumann algebra
Some results about fixed points in the complete metric space of zero at infinity varieties and complete convex metric space of varieties
A fixed point theorem for set-valued quasi-contractions in \(b\)-metric space of zero at infinity varieties
A rewrite approach for constraint logic programming
Modular specification of process algebras
Observational ultraproducts of polynomial coalgebras.
Inferring the finest pattern of mutual independence from data
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
Upper bounds on the sizes of finitely generated algebras
Pseudobases in Direct Powers of an Algebra
Lattice representations for computability theory
Defining identities for mono and binary Zinbiel algebras
The Existence of Free Unions in Classes of Abstract Algebras
The associative-commutative spectrum of a binary operation
Buchberger's algorithm: The term rewriter's point of view
Free objects in triangular matrix varieties and quiver algebras over semirings
Finite Models of Identities
A characterization of strong semilattices of periodic groups and rectangular bands by disjunctions of identities
From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
Fibered universal algebra for first-order logics
Representation of Jordan and Lie Algebras
Vigier's theorem for the spectral order and its applications
Varieties defined by basic equations have the amalgamation property
The class of topological spaces is equationally definable

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 Q5762080)