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