scientific article; zbMATH DE number 3227055
From MaRDI portal
Publication:5515373
zbMath0141.01002MaRDI QIDQ5515373
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Categorical algebra ⋮ Locally Equational Completeness of Rings and Semigroups ⋮ Bases for the Positive Cone of a Partially Ordered Module ⋮ Representation of Semigroups as Systems of Compact Convex Sets ⋮ Unnamed Item ⋮ Homomorphisms of algebras ⋮ Homomorphisms of heterogeneous algebras ⋮ An equational logic sampler ⋮ Combination of constraint solving techniques: An algebraic point of view ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ Groups whose universal theory is axiomatizable by quasi-identities ⋮ On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions ⋮ Baxter algebras and combinatorial identities. I ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The inequality of ${\text{SQPS}}$ and ${\text{QSP}}$ as operators on classes of groups ⋮ Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups ⋮ On relations of equivalence and ordering ⋮ Lattices of kernels of isotone mappings ⋮ On Maximal Congruences and Finite Semisimple Semigroups ⋮ Relations of equivalence and ordering ⋮ Unnamed Item ⋮ Unification properties of commutative theories: A categorical treatment ⋮ MSO definable text languages ⋮ Group-like small cancellation theory for rings ⋮ On some generalization of rough sets ⋮ On Schreier Varieties of Linear Algebras ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ On idempotents of semigroup varieties of \(m\)-groups ⋮ Necessary Conditions for Embedding Rings into Fields ⋮ Unification in varieties of completely regular semigroups ⋮ Universal algebraic methods for non-classical logics ⋮ Freely generable classes of structures ⋮ Conditions of modularity of the congruence lattice of an act over a rectangular band ⋮ Reduction theorems in the social choice theory ⋮ The Tensor Product of Commutative Semigroups ⋮ A few characterizations of topological spaces with no infinite discrete subspace ⋮ On the Isomorphism Problem for Lie Algebras ⋮ Polarity compatible with a closure system ⋮ Unnamed Item ⋮ Embedding Free Algebras in Skew Fields ⋮ Subcartesian Products of Finitely many Finite Algebras ⋮ Embedding Free Algebras in Skew Fields ⋮ On the Structure of Certain Idempotent Semigroups ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Word Problem for Ringoids of Numerical Functions ⋮ Unnamed Item ⋮ THE RANKS OF PLANARITY FOR VARIETIES OF COMMUTATIVE SEMIGROUPS ⋮ Representations of Quadratic Jordan Algebras ⋮ Higher-order algebra with transfinite types ⋮ Unnamed Item ⋮ Involutorial Division Rings with Arbitrary Centers ⋮ The free completely regular semigroup on a set ⋮ A Superposition Operator for the Refinement of Algebraic Models ⋮ Gröbner–Shirshov bases and their calculation ⋮ Homeomorphism and the equivalence of logical systems ⋮ Unnamed Item ⋮ Coproducts and Some Universal Ring Constructions ⋮ Modules Over Coproducts of Rings ⋮ Varieties of lattice-ordered groups ⋮ Unnamed Item ⋮ Finitely generated distribution algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Partial clones ⋮ Unnamed Item ⋮ Seven lectures on universal algebraic geometry ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quasi-Cotripleable Categories ⋮ A Graph-Theoretical Generalization of a Cantor Theorem ⋮ An algebraic theory of clones ⋮ The inference of tree languages from finite samples: An algebraic approach ⋮ General metrics and contracting operations ⋮ Dependence systems with the operator-image exchange property ⋮ Maps between a space and its square ⋮ The \(d\)-majorization polytope ⋮ Monadic second-order definable text languages ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ New model categories from old ⋮ Semi-algebraic decision complexity, the real spectrum, and degree ⋮ Lattices of closure operators ⋮ Combination problems for commutative/monoidal theories or how algebra can help in equational unification ⋮ On recursively enumerable structures ⋮ On FE-precomplete classes in countable-valued logic ⋮ The equational logic of fixed points ⋮ Identities satisfied by a finite ring ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Proper/residually-finite idempotent semirings. ⋮ Completeness theory for the product of finite partial algebras ⋮ Covers for monoids. ⋮ Learnability of quantified formulas. ⋮ Composition-diamond lemma for associative conformal algebras. ⋮ A topological zero-one law and elementary equivalence of finitely generated groups ⋮ Generalized monotonically \(T_2\) spaces ⋮ Fuzzy points of equivalent fuzzy subsets. ⋮ Baxter algebras and shuffle products
This page was built for publication:
