Publication:5682023

zbMath0266.08001MaRDI QIDQ5682023

Publication date: 1973

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Equational classes, universal algebra in model theory (03C05) General algebraic systems (08-XX) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items

A relative interpolation theorem for infinitary universal Horn logic and its applications, On quasivarieties of axiomatic rank 3 of torsion-free nilpotent groups, Extensions of the minimal logic and the interpolation problem, Yankov Characteristic Formulas (An Algebraic Account), Almost structural completeness; an algebraic approach, On modal logics of model-theoretic relations, AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS, Operator properties of congruence permutable varieties with strongly definable principal congruences., Algebraic specifications of computable and semicomputable data types, On varieties of cylindric algebras with applications to logic, Existence varieties of regular rings and complemented modular lattices, Математические основы теории познания на основе экспериментов, A \(K_{0}\)-avoiding dimension group with an order-unit of index two, Model theory of functors: Axiomatizability problems, Axiomatizations of universal classes through infinitary logic, Axiomatisability and hardness for universal Horn classes of hypergraphs, Quasi-identities of finite semigroups and symbolic dynamics, Representations, products, and varieties of \(m \)-groups, REGULARITY OF RELATIONAL HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS, On the structure of subalgebra systems of idempotent entropic algebras, Van der Waerden rings, On recursively enumerable structures, Quantum logic is undecidable, On FE-precomplete classes in countable-valued logic, Universal algebraic geometry: syntax and semantics, Barycentric algebras and beyond, Equations over solvable groups, A characterization of invertible algebras linear over a group by second-order formulas, Involutive symmetric Gödel spaces, their algebraic duals and logic, Free topological algebra with separately continuous Mal'tsev operation, Gödel spaces and perfect MV-algebras, All maximal unit-regular elements of Relhyp((m),(n)), Superassociative structures of terms and formulas defined by transformations preserving a partition, Birkhoff's and Mal'cev's theorems for implicational tonoid logics, Conditions of modularity of the congruence lattice of an act over a rectangular band, Semigroups of relatively continuous binary relations and their isomorphisms, Representations via differential algebras and equationally Noetherian algebras, Algebraic logoi, Identities and bases in the Sylvester and Baxter monoids, Craig's interpolation property in pretabular logics, On a class of subsemigroup lattices, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Singly generated quasivarieties and residuated structures, Equivalential logics. I, On the utility of Robinson-Amitsur ultrafilters, The structure and representation of \(n\)-ary algebras of DNA recombination, Unnamed Item, Unital locally matrix algebras and Steinitz numbers, Some varieties of algebraic systems of type ((n),(m)), On the quasivarieties generated by a finite group and lacking any independent bases of quasi-identities, Subgroups approximatively of finite index and wreath products., Unnamed Item, Unnamed Item, Remarks about the Q-lattice of the variety of lattices, Boolean topological graphs of semigroups: the lack of first-order axiomatization, Axiomatizability and completeness of the class of injective acts over a commutative monoid or a group, The meaning of specifications I: Domains and initial models, The Tarski numbers of groups, Anatoly Ivanovich Maltsev, Basic superranks for varieties of algebras, Projective algebras and primitive subquasivarieties in varieties with factor congruences, Algebraic Lie algebras of bounded degree, Universal algebra in higher types, Varieties of Birkhoff systems. II, Unnamed Item, A field guide to equational logic, Generators of existence varieties of regular rings and complemented Arguesian lattices, Elementary theories of completely simple semigroups, On idempotent and hyperassociative structures, Progress in free associative algebras, A generalization of the Artin theorem, Morita equivalent unital locally matrix algebras, Categorical shape theory and the back and forth property, Characteristic Formulas Over Intermediate Logics, Convex algebras of probability distributions induced by finite associative rings, Kulakov algebraic systems on groups, Commutative unary algebras with modular and distributive topology lattices, Amenability versus non‐exactness of dense subgroups of a compact group, Unnamed Item, Unnamed Item, Invertible algebras satisfying associative identities with functional variables, All idempotent and regular elements in the monoid of generalized hypersubstitutions for algebraic systems of type (2; 2), Partial clones, Congruence-permutable \(S \)-acts, Unnamed Item, Syntax versus semantics in knowledge bases II, Group approximation in Cayley topology and coarse geometry Part I: Coarse embeddings of amenable groups, Deciding embeddability of partial groupoids into semigroups, Hyper-pseudoformulas and M-solid ordered pseudovarieties, Unnamed Item, On the suitability of trace semantics for modular proofs of communicating processes, Characteristic inference rules, Green’s Relations on Regular Elements of Semigroup of Relational Hypersubstitutions for Algebraic Systems of Type ((m), (n)), A hidden Herbrand theorem: Combining the object and logic paradigms, Pseudomatrix groups and physical structures, On the closedness of a locally cyclic subgroup in a metabelian group., Decomposition of strongly separative monoids