Locally finite monoids in finitely based varieties

Logic Journal of the IGPL 27 (5):743-745 (2019)
  Copy   BIBTEX

Abstract

It is shown that given any finite system of monoid identities, it is decidable if the class of locally finite monoids that satisfy the system is a variety. This answers an open problem of Mark V. Sapir.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzz001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Irreducible Residuated Semilattices and Finitely Based Varieties.Nikolaos Galatos, Jeffrey Olson & James Raftery - 2008 - Reports on Mathematical Logic.
On Solvable Congruences in Finitely Decidable Varieties.Matthew A. Valeriote - 1994 - Mathematical Logic Quarterly 40 (3):398-414.
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.
Inherently nonfinitely based lattices.Ralph Freese, George F. McNulty & J. B. Nation - 2002 - Annals of Pure and Applied Logic 115 (1-3):175-193.
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation.Edmond W. H. Lee - 2013 - Studia Logica 101 (1):95-115.
Three-elemnt non-finitely axiomatizable matrices and term-equivalence.Katarzyna Pałasińska - 2014 - Logic and Logical Philosophy 23 (4):481-497.
Decidable discriminator varieties from unary varieties.Stanley Burris, Ralph Mckenzie & Matthew Valeriote - 1991 - Journal of Symbolic Logic 56 (4):1355-1368.
Subquasivarieties of implicative locally-finite quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Unification, finite duality and projectivity in varieties of Heyting algebras.Silvio Ghilardi - 2004 - Annals of Pure and Applied Logic 127 (1-3):99-115.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Finitely based theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):221-225.

Analytics

Added to PP
2019-01-22

Downloads
7 (#1,316,802)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references