{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T21:01:12Z","timestamp":1698181272917},"reference-count":0,"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":[[1992,3]]},"abstract":"<jats:p> Let [Formula: see text] be a variety whose class of finite members has a decidable first-order theory. We prove that each finite member A of [Formula: see text] satisfies the (3, 1) and (3, 2) transfer principles, and that the minimal sets of prime quotients of type 2 or 3 in A must have empty tails. The first result has already been used by J. Jeong [9] in characterizing the finite subdirectly irreducible members of [Formula: see text] with nonabelian monolith. The second result implies that if [Formula: see text] is also locally finite and omits type 1, then [Formula: see text] is congruence modular. <\/jats:p>","DOI":"10.1142\/s0218196792000074","type":"journal-article","created":{"date-parts":[[2004,11,25]],"date-time":"2004-11-25T00:50:24Z","timestamp":1101343824000},"page":"89-101","source":"Crossref","is-referenced-by-count":6,"title":["SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES"],"prefix":"10.1142","volume":"02","author":[{"given":"MATTHEW A.","family":"VALERIOTE","sequence":"first","affiliation":[{"name":"Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada, L8S 4K1, Canada"}]},{"given":"ROSS","family":"WILLARD","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Carnegie Mellon University, Pittsburgh, PA 15213, USA"},{"name":"Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1, Canada"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196792000074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:58:22Z","timestamp":1565128702000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196792000074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":0,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[1992,3]]}},"alternative-id":["10.1142\/S0218196792000074"],"URL":"https:\/\/doi.org\/10.1142\/s0218196792000074","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}