{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T09:11:08Z","timestamp":1698225068115},"reference-count":8,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4699,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we establish the (1, 2)\u2010 and (2, 1)\u2010transfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of finite algebras and have strong global consequences.<\/jats:p><jats:p><jats:bold>Mathematics Subject Classification<\/jats:bold>: 08A05, 03C13, 08B05, 08B10.<\/jats:p>","DOI":"10.1002\/malq.19940400309","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T20:57:14Z","timestamp":1180817834000},"page":"398-414","source":"Crossref","is-referenced-by-count":2,"title":["On Solvable Congruences in Finitely Decidable Varieties"],"prefix":"10.1002","volume":"40","author":[{"given":"Matthew A.","family":"Valeriote","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/076"},{"key":"e_1_2_1_4_2","unstructured":"Idziak P. A characterization of finitely decidable congruence modular varieties. Trans. Amer. Math. Soc. (submitted1993)."},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"Idziak P. andM.Valeriote A property of the solvable radical in finitely decidable varieties. Manuscript 1992.","DOI":"10.1142\/S0218196792000074"},{"key":"e_1_2_1_6_2","unstructured":"Jeong J. Type 2 subdirectly irreducible algebras in finitely decidable varieties. Manuscript 1992."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4552-0"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196792000074"},{"key":"e_1_2_1_9_2","first-page":"996","article-title":"Varieties of associative rings whose elementary theory is decidable","volume":"17","author":"Zamyatin A. P.","year":"1976","journal-title":"Soviet Math. Dokl."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19940400309","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19940400309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T20:22:11Z","timestamp":1698178931000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19940400309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/malq.19940400309"],"URL":"https:\/\/doi.org\/10.1002\/malq.19940400309","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}