The following pages link to (Q5682023):
Displaying 50 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Subgroups approximatively of finite index and wreath products. (Q473142) (← links)
- Boolean topological graphs of semigroups: the lack of first-order axiomatization (Q485412) (← links)
- Axiomatizability and completeness of the class of injective acts over a commutative monoid or a group (Q498241) (← links)
- The Tarski numbers of groups (Q499286) (← links)
- Basic superranks for varieties of algebras (Q515588) (← links)
- Varieties of Birkhoff systems. II (Q523146) (← links)
- Generators of existence varieties of regular rings and complemented Arguesian lattices (Q539185) (← links)
- The structure and representation of \(n\)-ary algebras of DNA recombination (Q651300) (← links)
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Elementary theories of completely simple semigroups (Q701375) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- A \(K_{0}\)-avoiding dimension group with an order-unit of index two (Q855718) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- On the structure of subalgebra systems of idempotent entropic algebras (Q1114726) (← links)
- Equivalential logics. I (Q1159628) (← links)
- Anatoly Ivanovich Maltsev (Q1190773) (← links)
- Universal algebra in higher types (Q1199827) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Progress in free associative algebras (Q1216436) (← links)
- Categorical shape theory and the back and forth property (Q1252283) (← links)
- Deciding embeddability of partial groupoids into semigroups (Q1293382) (← links)
- Model theory of functors: Axiomatizability problems (Q1361202) (← links)
- Decomposition of strongly separative monoids (Q1612133) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- Axiomatisability and hardness for universal Horn classes of hypergraphs (Q1652862) (← links)
- On FE-precomplete classes in countable-valued logic (Q1675534) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Quasi-identities of finite semigroups and symbolic dynamics (Q1905790) (← links)
- On recursively enumerable structures (Q1919770) (← links)
- Projective algebras and primitive subquasivarieties in varieties with factor congruences (Q1991598) (← links)
- On idempotent and hyperassociative structures (Q2010165) (← links)
- A generalization of the Artin theorem (Q2030194) (← links)
- Convex algebras of probability distributions induced by finite associative rings (Q2050230) (← links)
- Kulakov algebraic systems on groups (Q2054232) (← links)
- Congruence-permutable \(S \)-acts (Q2071594) (← links)
- Representations, products, and varieties of \(m \)-groups (Q2160186) (← links)
- On a class of subsemigroup lattices (Q2202776) (← links)
- On the quasivarieties generated by a finite group and lacking any independent bases of quasi-identities (Q2222188) (← links)
- Remarks about the Q-lattice of the variety of lattices (Q2226976) (← links)
- Algebraic Lie algebras of bounded degree (Q2246866) (← links)
- Characteristic inference rules (Q2342800) (← links)
- Pseudomatrix groups and physical structures (Q2352678) (← links)
- On the closedness of a locally cyclic subgroup in a metabelian group. (Q2352683) (← links)
- On quasivarieties of axiomatic rank 3 of torsion-free nilpotent groups (Q2360258) (← links)
