scientific article; zbMATH DE number 3419181

zbMath0266.08001MaRDI QIDQ5682023

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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 (97)

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

This page was built for publication: