{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T18:05:06Z","timestamp":1773338706757,"version":"3.50.1"},"reference-count":23,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5124,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2000,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. <jats:bold>Theorem A<\/jats:bold>: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then it is finitely based. <jats:bold>Theorem B<\/jats:bold>: there is an algorithm which, given <jats:italic>m<\/jats:italic> &lt; \u03c9 and a finite algebra in a finite language, determines whether the variety generated by the algebra is congruence meet-semidistributive and residually less than <jats:italic>m<\/jats:italic>.<\/jats:p>","DOI":"10.2307\/2586531","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:01:31Z","timestamp":1146938491000},"page":"187-200","source":"Crossref","is-referenced-by-count":25,"title":["A finite basis theorem for residually finite, congruence meet-semidistributive varieties"],"prefix":"10.1017","volume":"65","author":[{"given":"Ross","family":"Willard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120001241X_ref021","unstructured":"Park R. , Equational classes of non-associative ordered algebras, Ph.D. dissertation , UCLA, 1976."},{"key":"S002248120001241X_ref020","unstructured":"McNulty G. and Willard R. , Three-element algebras behaving badly, in preparation."},{"key":"S002248120001241X_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BF02945005"},{"key":"S002248120001241X_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF01195263"},{"key":"S002248120001241X_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-99-05097-2"},{"key":"S002248120001241X_ref010","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000247"},{"key":"S002248120001241X_ref016","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000039"},{"key":"S002248120001241X_ref012","doi-asserted-by":"publisher","DOI":"10.4153\/CMB-1998-044-9"},{"key":"S002248120001241X_ref023","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-97-01807-2"},{"key":"S002248120001241X_ref002","volume-title":"Algebra Universalis","author":"Baker"},{"key":"S002248120001241X_ref017","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000027"},{"key":"S002248120001241X_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BF02485404"},{"key":"S002248120001241X_ref018","unstructured":"McKenzie R. , Residual smallness relativized to congruence types, 1996, manuscript."},{"key":"S002248120001241X_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-8708(77)80043-1"},{"key":"S002248120001241X_ref015","unstructured":"McKenzie R. , Recursive inseparability for residual bounds of finite algebras, 1995, manuscript."},{"key":"S002248120001241X_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110374"},{"key":"S002248120001241X_ref007","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10850"},{"key":"S002248120001241X_ref005","volume-title":"Contemporary Mathematics","volume":"76","author":"Hobby","year":"1988"},{"key":"S002248120001241X_ref006","volume-title":"Universal Algebra","author":"J\u00f3nsson","year":"1979"},{"key":"S002248120001241X_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0063432"},{"key":"S002248120001241X_ref009","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1952-0047584-3"},{"key":"S002248120001241X_ref008","first-page":"353","article-title":"Congruence distributive varieties","volume":"42","author":"J\u00f3nsson","year":"1995","journal-title":"Mathematica Japonica"},{"key":"S002248120001241X_ref019","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000040"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120001241X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T19:08:20Z","timestamp":1557428900000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120001241X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S002248120001241X"],"URL":"https:\/\/doi.org\/10.2307\/2586531","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}