{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T16:01:23Z","timestamp":1765123283120},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2009,2]]},"abstract":"<jats:p> This paper studies the complexity of determining if a finite algebra generates a variety that satisfies various Maltsev conditions, such as congruence distributivity or modularity. For idempotent algebras we show that there are polynomial time algorithms to test for these conditions but that in general these problems are EXPTIME complete. In addition, we provide sharp bounds in terms of the size of two-generated free algebras on the number of terms needed to witness various Maltsev conditions, such as congruence distributivity. <\/jats:p>","DOI":"10.1142\/s0218196709004956","type":"journal-article","created":{"date-parts":[[2009,2,25]],"date-time":"2009-02-25T05:55:38Z","timestamp":1235541338000},"page":"41-77","source":"Crossref","is-referenced-by-count":27,"title":["ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS"],"prefix":"10.1142","volume":"19","author":[{"given":"RALPH","family":"FREESE","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Hawaii, Honolulu, Hawaii, 96822, USA"}]},{"given":"MATTHEW A.","family":"VALERIOTE","sequence":"additional","affiliation":[{"name":"Department of Mathematics &amp; Statistics, McMaster University, Hamilton, Ontario, L8S 4K1, Canada"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196799000084"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"rf3","unstructured":"M.\u00a0Clasen and M.\u00a0Valeriote, Lectures on Algebraic Model Theory, Fields Institute Monographs\u00a015 (American Mathematical Society, Providence RI, 2000)\u00a0pp. 67\u2013111."},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1969-016-6"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1980-087-6"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-008-2073-1"},{"key":"rf7","series-title":"London Mathematical Society Lecture Note Series","volume-title":"Commutator Theory for Congruence Modular Varieties","volume":"125","author":"Freese R.","year":"1987"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01223741"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945100"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000304"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/076"},{"key":"rf12","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"J\u00f3nsson B.","journal-title":"Math. Scand."},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050112"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.1993.1061"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-99-04882-0"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000247"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190604"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000040"},{"key":"rf22","volume-title":"Algebras, Lattices, Varieties","volume":"1","author":"McKenzie R.","year":"1987"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485709"},{"key":"rf24","first-page":"29","volume":"33","author":"Schmidt E. T.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"rf25","unstructured":"\u00c1.\u00a0Szendrei, Universal algebra and quasigroup theory, Res. Exp. Math.\u00a019 (Heldermann, Berlin, 1992)\u00a0pp. 209\u2013239."},{"key":"rf26","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/cm-13-2-129-157","volume":"13","author":"Urbanik K.","journal-title":"Colloq. Math."},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(91)90163-3"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196709004956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T09:35:04Z","timestamp":1565170504000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196709004956"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2]]},"references-count":24,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2009,2]]}},"alternative-id":["10.1142\/S0218196709004956"],"URL":"https:\/\/doi.org\/10.1142\/s0218196709004956","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2]]}}}