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 ⋮ A universal Krull-Lindenbaum theorem ⋮ Clones with nullary operations. ⋮ Dualizing clones as models of Lawvere theories. ⋮ A short introduction to clones. ⋮ Sobriety and spatiality in varieties of algebras ⋮ Minimal zero-dimensional extensions ⋮ Hard constraint satisfaction problems have hard gaps at location 1 ⋮ Plethysm, categories and combinatorics ⋮ Galois theory for clones and superclones ⋮ Algebraic specifications of computable and semicomputable data types ⋮ Algebraic solutions to recursion schemes ⋮ Unification in combinations of collapse-free regular theories ⋮ A characterization of Sheffer functions by hyperidentities ⋮ An initial algebra approach to term rewriting systems with variable binders ⋮ Word problems and a homological finiteness condition for monoids ⋮ Neighborhood systems and approximate retrieval ⋮ Proving open properties by induction ⋮ Recursive decomposition and bounds of the lattice of Moore co-families. ⋮ Existence theorems in mathematics ⋮ Subalgebra systems of idempotent entropic algebras ⋮ On the structure of subalgebra systems of idempotent entropic algebras ⋮ Ordering coproducts of groups and semigroups ⋮ Finite generation of ambiguity in context-free languages ⋮ Fuzzy equivalence relations ⋮ Between Galois connections and (some metamathematical) solutions of equations \(fgf=f\) and \(gfg=g\) ⋮ Towards a dichotomy theorem for the counting constraint satisfaction problem
This page was built for publication:
