scientific article; zbMATH DE number 3227055
From MaRDI portal
zbMath0141.01002MaRDI QIDQ5515373
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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, Combination of constraint solvers for free and quasi-free structures, Algebraic processing of programming languages, Commutative semigroups with self-dual lattice of subsemigroups, Prime Jordan P.I. algebras with nonzero socle and Jordan division algebras, Mechanizing structural induction. I: Formal system, On the quasivarieties generated by finite semigroups, Hypergraph functor and attachment, Machines in a category, On limits and colimits of variety-based topological systems, Transitive square-free algebras, Determining homomorphisms to skew fields, A theory of well-connected relations, Varieties of chain-complete algebras, Algebraic properties of satisficing decision criterion, Varieties of recognizable tree series over fields, Unity in nominal equational reasoning: the algebra of equality on nominal sets, Sur les sous-objets en algèbre générale, Recursion theory on fields and abstract dependence, On groupoids having a linear congruence class geometry, Clones of topological spaces, On certain distinguished spectral sets, Theory of 2-structures. I: Clans, basic subclasses, and morphisms, Free completely regular semigroups. II: Word problem., Cohomology operations in a category, Formal translation monoid and algebra congruences in a monoidal category, Laws obeyed by topological algebras - extending results of Hopf and Adams, Recognizable formal power series on trees, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, Embedding semigroups in groups: not as simple as it might seem, A class of fuzzy theories, Restricted-oriented convex sets, Graph components of prime spectra, Series with general exponents, The duality principle in fuzzy set theory, Extendable local partial clones, Topological methods for algebraic specification, Isomorphism and local isomorphism of clones of spaces, Around the Hosszú-Gluskin theorem for \(n\)-ary groups., Varieties of algebras and algebraic varieties, On the concrete representation of discrete enriched abstract clones, Free idempotent generated semigroups and endomorphism monoids of independence algebras, Computational interpretations of linear logic, On classification of maximal nilpotent subsemigroups., Sobriety and spatiality in categories of lattice-valued algebras, Stratification of normative systems with intermediaries, Analysis and synthesis of abstract automata, Fuzzy algebras as a framework for fuzzy topology, Generalized fuzzy topology versus non-commutative topology, Discrete piecewise linear functions, Covering based rough set approximations, Infinite iteration of matrix semigroups. II: Structure theorem for arbitrary semigroups up to aperiodic morphism, Unification in commutative theories, On freely generated \(E\)-subrings, Free monadic Tarski and \(\mathrm{MMI}_3\)-algebras, On Lie supergroups and superbundles defined via the Baker-Campbell-Hausdorff formula, Recursively unsolvable word problems of modular lattices and diagram- chasing, Archimedean lattices, Congruence relations of multialgebras, The relational model of data and cylindric algebras, Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras., On ordered categories as a framework for fuzzification of algebraic and topological structures, Local almost periodicity and direct limits of semigroup compactifications, Recursion and iteration in continuous theories: the M-construction, Characters of finite quasigroups, On varieties of clones, Implementation of data types by algebraic methods, Parameter passing in algebraic specification languages, Enumerating fuzzy switching functions and free Kleene algebras, Combinatorial extensions of radical, nil, and locally nilpotent algebras, Algebras, polynomials and programs, Abstract functional dependency structures, Lattice of fuzzy subalgebras and closure systems in \(I^ X\), Closure functions and general iterates as reflectors, On the representations of the full matrix semigroup on homogeneous polynomials, 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, Nonassociative Boolean ring varieties, Fuzzy term-rewriting system, On free Baxter algebras: Completions and the internal construction, Organization by rules in finite sequences, Word problem in free clumps, Mathematical structures defined by identities, On measurements of covering rough sets based on granules and evidence theory, Free fuzzy groups and fuzzy group presentations, Recursive decomposition tree of a Moore co-family and closure algorithm., Universal algebra in higher types, A field guide to equational logic, Composite variety-based topological theories, Uncountable chains and antichains of varieties of Banach algebras, Polynomial interpolation and the Chinese remainder theorem for algebraic systems, Characterizing Mal'cev conditions, The classification of idealizable varieties (congruenze ideali IV), Partial morphisms on partial algebras, Permanence of identities on algebras, Polynomial interpolation for locally equational classes, Rational relations and rational identities in division rings. II, Wreath products of Lie algebras, Zur Struktur des Raumes der Hypernormbälle über einem linearen Raum, Finitely presented algebras and groups defined by permutation relations., Monads for the formalization of a pattern matching procedure, The semigroup of an algebra automaton, Skolem-Mahler-Lech type theorems and Picard-Vessiot theory, The diamond lemma for ring theory, Über freie Produkte endlicher modularer Verbände, Infinitely generated subgroups of finitely presented groups. I, Convergent presentations and polygraphic resolutions of associative algebras, On finite algebras of prime dimension without subalgebras, Some remarks on finitely presented algebras, Information storage and retrieval - mathematical foundations. II: Combinatorial problems, Finite equational bases for finite algebras in a congruence-distributive equational class, A generalized approach to formal languages, IO and OI. I, IO and OI. II, Primitive derivations in free associative algebras, Homology and generalized Baer invariants, Constructing blockmodels: how and why, Simply presented valuated Abelian p-groups, A decomposition property of basic acyclic graphs, Implicitly maximal classes and implicit completeness criterion in the three-valued logic, On the axiomatizability of certain classes of modules, On left, right and two-sided cancellable elements of semigroups, Elementary transformations of systems of equations over quasigroups and generalized identities, Fuzzy games: A description of the concept, Problems of constructing intelligent systems. Intelligent modeling, On the lattice of varieties of completely simple semigroups, On some implicitly precomplete classes of monotone functions in \(P_k\), Finitely presented semigroups and associative algebras, A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures, A fixed point theorem for commuting families of relational homomorphisms. Applications to metric spaces, ordered sets and oriented graphs, Relational interpretations of neighborhood operators and rough set approximation operators, On the algebraic structure of combinatorial problems, The automorphism groups of relatively free algebras, Properties of free Baxter algebras, Equational theories for automata, Embedding rings in completed graded rings. IV: Commutative algebras, Approximation properties of abstract data types, Deciding embeddability of partial groupoids into semigroups, The fuzzy Tychonoff theorem, Finite free generating sets, Constructive and algebraic methods of the theory of rough sets, Some maximal closed classes of operations on infinite sets, La structure des modules par rapport à une topologie additive, Coherence and embedding of algebras, Modulare Polynomverbände über endlichen distributiven Verbänden, Cyclic and diagonal products on a matrix, On free conformal and vertex algebras, Internal direct products of groupoids, A hidden Herbrand theorem: Combining the object and logic paradigms, Algebras with a negation map, Injective hulls of semimodules over additively-idempotent semirings, Extensions of Algebraic Systems, The Dixmier-Moeglin equivalence and a Gel’fand-Kirillov problem for Poisson polynomial algebras, Hulls of ordered algebras: projectability, strong projectability and lateral completeness, Les généralisations de la distributivité dans les presque-anneaux, Van der Waerden rings, Unnamed Item, Unnamed Item, Unnamed Item, Contextual grammars vs. context-free algebras, Acts over semigroups, On the utility of Robinson-Amitsur ultrafilters, Hyperrings and \(\alpha^*\)-relations. A general approach., On congruences of groupoids closely connected with quasigroups., Gröbner-Shirshov bases for Vinberg-Koszul-Gerstenhaber right-symmetric algebras, Noncommutative Gröbner Bases: Applications and Generalizations, On von Neumann regular rings with an automorphism, Varieties of Combinatorial Geometries, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, A multiview approach for intelligent data analysis based on data operators, Unnamed Item, Variants of top-down tree transducers with look-ahead, Unnamed Item, The completeness problem in partial hyperclones, Commutator Theory for Relatively Modular Quasivarieties, Unnamed Item, Multiplicatively idempotent semirings., Unnamed Item, Congruence relations on finitary models, On Linear Algebraic Semigroups, The Category of Generalized Lie Groups, Structural Monoids Associated to Equational Varieties, Product of Ring Varieties and Attainability, Structure theory for geometric lattices, Homomorphismen bei Algebren mit mehrdeutigen Operationen, Primitive Elements and One Relation Algebras, Su una questione riguardante le chiusure di Moore, Birkhoff'sche und kategorische Algebra, Sulla varieta generata da un'algebra funzionalmente completa di cardinalita infinita, Archimedean-Like Classes of Lattice-Ordered Groups, Function systems, Rings nonembeddable in fields with multiplicative semigroups embeddable in groups, On a question of Mal'cev, The algebra of group kinship, A characterization of initial functors, Subfields of division rings. II, Some cardinality questions for flat modules and coherence, On orders in principal left ideal rings and elemental annihilator rings, Convergence in relational structures, Polynome über universalen Algebren, Bases for equational theories of semi-groups, On commutativity of a semigroup which is a semilattice of commutative semigroups, Zur Einbettungsbedingung im Zusammenhang mit einer Programmiersprache von Engeler, Simplicity vis-a-vis functional completeness, Closure homomorphisms, The lattice of equational classes of idempotent semigroups, Perturbation with two parameters, Jordan and associative rings with nilpotent and invertible elements, The closure operator in partial algebras with distributive operations. Application to set algebra, measure theory and linear spaces, Halbgruppen mit ausschließlich Reesschen Linkskongruenzen, Die primitiven Klassen arithmetischer Ringe, The Number of Proper Minimal Quasivarieties of Groupoids, A Large Class of Small Varieties of Lattice-Ordered Groups, A note on the embedding property, Zur Theorie der Fastringkonstruktionen. II, On modules over a semiring, Die binären Systeme der Intervallarithmetik. (The binary systems of interval arithmetic), The automorphism class group of the category of rings, Konstanten in endlichen, freien universellen Algebren. (Constants in finite free universal algebras), Autonomous state classifications by dynamical systems, Varieties of algebras, Sur les produits filtres de certains groupes topologiques, Independent factorizations of abstract algebras, Jordan elements in a free associative algebra. I, Locally Finite Ring Varieties, A classification of universal algebras by infinitary relations, The category of complete algebraic lattices, Inessential parts of extensions of first-order theories, A property of Mal'cev's biquaternary variety, Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law, Strategy construction using homomorphisms between games, Berechnung und Programm. I, On residual finiteness and finite embeddability, Maximal clones on algebras A and A\(^r\), The number of maximal closed classes in the set of functions over a finite domain, Unnamed Item, Berechnung und Programm. II, Zur Theorie Levitzkischer Radikale in Halbringen, Fixed points of endomorphisms, Residually small varieties, A note on geometric mappings, The spectrum of a ring as a partially ordered set, Unnamed Item, On the radical of a free Malcev algebra, Varieties and universal models in the theory of combinatorial geometries, Fractional iteration of series and transseries, A history of the Poincaré-Birkhoff-Witt theorem, Dependences related to strict binary relations, Unnamed Item, Unnamed Item, A family of classes of functions closed with respect to a strengthened superposition operation, 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
