Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem

Cited in

(62)

Identities common to four Abelian group operations with zero
The word problem for \(Heyting^ *\) algebras
A field guide to equational logic
Finite partial quadruple systems can be finitely embedded
Equational classes of Steiner systems
Strong finite embeddability for classes of quasigroups
Quasivarieties of algebraic systems
A finite partial idempotent latin cube can be embedded in a finite idempotent latin cube
Finite embeddability in a class of infinitary algebras
Intersection preserving finite embedding theorems for partial quasigroups
Free products of residually finite lattices are residually finite
Efficient solution of the word problem in slim varieties
Residual finiteness of a class of semigroups presented by a single relation
Varieties of commutative residuated integral pomonoids and their residuation subreducts
Varieties of BL-algebras. I, revisited
On the finite completion of partial latin cubes
Identities and relations in commutative Moufang loops
On algebraic and logical specifications of classes of regular languages.
The parameterized local deduction theorem for quasivarieties of algebras and its application
Join-completions of partially ordered algebras
Word problem for knotted residuated lattices.
Complexity of the universal theory of modal algebras
Characteristic inference rules
On square-increasing ordered monoids and idempotent semirings
Modal MTL-algebras
Basic hoops: an algebraic study of continuous t-norms
The finite embeddability property for residuated groupoids.
Embedding partial idempotent Latin squares
The completion of finite incomplete Steiner triple systems with applications to loop theory
Finite partial cyclic triple systems can be finitely embedded
The lattice of semigroup varieties
Finite embedding theorems for partial Latin squares, quasi-groups, and loops
On residual finiteness and finite embeddability
The free modular lattice on four generators is not finitely presentable
Residual finiteness and finite embeddability. A remark on a paper by Banaschewski and Nelson
Minsky Machines and Algorithmic Problems
Residuated Structures, Concentric Sums and Finiteness Conditions
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
On residual finiteness of monoids, their Schützenberger groups and associated actions.
Varieties of algebras with equationally definable zeros
Word problems
Varieties of Commutative Semigroups
Ideal membership in polynomial rings over the integers
On approximation of locally compact groups by finite algebraic systems
COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY
Splittings in varieties of logic
An equational logic sampler
The finite embeddability property for IP loops and local embeddability of groups into finite IP loops
The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
On the finite embeddability property for residuated ordered groupoids
Expansions of inverse semigroups
Finitely generated left commutative semigroups are residually finite
Universal algebraic methods for non-classical logics
Finite embeddability property for residuated lattices via regular languages
Unilinear residuated lattices: axiomatization, varieties and FEP
Restrictions on local embeddability into finite semigroups
Quasivarieties of Wajsberg hoops
Residual finiteness in permutation varieties of semigroups
On finitely recognizable semigroups
Residual finiteness and related properties in monounary algebras and their direct products
Green index and finiteness conditions for semigroups.
Completion and finite embeddability property for residuated ordered algebras.

This page was built for publication: Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5575595)