Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
From MaRDI portal
Publication:5575595
DOI10.1112/jlms/s2-1.1.399zbMath0184.03502OpenAlexW2087334260MaRDI QIDQ5575595
Publication date: 1969
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-1.1.399
Related Items
On algebraic and logical specifications of classes of regular languages. ⋮ COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY ⋮ On square-increasing ordered monoids and idempotent semirings ⋮ Residual finiteness and related properties in monounary algebras and their direct products ⋮ The word problem for \(Heyting^ *\) algebras ⋮ An equational logic sampler ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Finitely generated left commutative semigroups are residually finite ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras ⋮ Minsky Machines and Algorithmic Problems ⋮ On residual finiteness of monoids, their Schützenberger groups and associated actions. ⋮ Universal algebraic methods for non-classical logics ⋮ Varieties of BL-algebras. I, revisited ⋮ Finite embeddability property for residuated lattices via regular languages ⋮ Varieties of algebras with equationally definable zeros ⋮ Modal MTL-algebras ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Green index and finiteness conditions for semigroups. ⋮ Varieties of Commutative Semigroups ⋮ A field guide to equational logic ⋮ Word problem for knotted residuated lattices. ⋮ Join-completions of partially ordered algebras ⋮ 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 ⋮ On approximation of locally compact groups by finite algebraic systems ⋮ Finite embeddability in a class of infinitary algebras ⋮ Completion and finite embeddability property for residuated ordered algebras. ⋮ Intersection preserving finite embedding theorems for partial quasigroups ⋮ The finite embeddability property for residuated groupoids. ⋮ Free products of residually finite lattices are residually finite ⋮ Word problems ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ The finite embeddability property for IP loops and local embeddability of groups into finite IP loops ⋮ Complexity of the universal theory of modal algebras ⋮ Ideal membership in polynomial rings over the integers ⋮ Expansions of inverse semigroups ⋮ 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 ⋮ Splittings in varieties of logic ⋮ On the finite completion of partial latin cubes ⋮ Identities and relations in commutative Moufang loops ⋮ The finite embeddability property for noncommutative knotted extensions of RL ⋮ Characteristic inference rules ⋮ Residual finiteness in permutation varieties of semigroups ⋮ Efficient solution of the word problem in slim varieties ⋮ Residual finiteness of a class of semigroups presented by a single relation ⋮ On finitely recognizable semigroups ⋮ Identities common to four Abelian group operations with zero
