{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T02:42:49Z","timestamp":1710211369611},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T00:00:00Z","timestamp":1243468800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s11225-009-9188-z","type":"journal-article","created":{"date-parts":[[2009,5,27]],"date-time":"2009-05-27T12:30:20Z","timestamp":1243427420000},"page":"109-120","source":"Crossref","is-referenced-by-count":5,"title":["Quasivarieties with Definable Relative Principal Subcongruences"],"prefix":"10.1007","volume":"92","author":[{"given":"A. M.","family":"Nurakunov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. M.","family":"Stronkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,28]]},"reference":[{"key":"9188_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","volume":"24","author":"K.A. Baker","year":"1977","unstructured":"Baker K.A.: \u2018Finite equational bases for finite algebras in congruence-distributive equational classes\u2019. Advances in Math. 24, 207\u2013243 (1977)","journal-title":"Advances in Math."},{"key":"9188_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s00012-002-8180-5","volume":"47","author":"K.A. Baker","year":"2002","unstructured":"Baker K.A., Wang J.: \u2018Definable principal subcongruences\u2019. Algebra Universalis 47, 145\u2013151 (2002)","journal-title":"Algebra Universalis"},{"key":"9188_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF01670283","volume":"17","author":"V.P. Belkin","year":"1979","unstructured":"Belkin V.P.: \u2018Quasi-identities of finite rings and lattices\u2019. Algebra Logic 17, 171\u2013179 (1979)","journal-title":"Algebra Logic"},{"key":"9188_CR4","doi-asserted-by":"crossref","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer- Verlag, 1981. The Millenium Edition available at http:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html .","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9188_CR5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF01197181","volume":"35","author":"J. Czelakowski","year":"1996","unstructured":"Czelakowski J., Dziobiak W.: \u2018The parameterized local deduction theorem for quasivarieties of algebras and its application\u2019. Algebra Universalis 35, 373\u2013419 (1996)","journal-title":"Algebra Universalis"},{"key":"9188_CR6","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF01191083","volume":"28","author":"W. Dziobiak","year":"1991","unstructured":"Dziobiak W.: \u2018Finite bases for finitely generated, relatively congruence distributive quasivarieties\u2019. Algebra Universalis 28, 303\u2013323 (1991)","journal-title":"Algebra Universalis"},{"key":"9188_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.4064\/fm202-3-1","volume":"202","author":"W. Dziobiak","year":"2009","unstructured":"Dziobiak W., Mar\u00f3ti M., McKenzie R., Nurakunov A.M.: \u2018The weak extension property and finite axiomatizability for quasivarieties\u2019. Fund. Math. 202, 199\u2013223 (2009)","journal-title":"Fund. Math."},{"key":"9188_CR8","unstructured":"Gorbunov, V. A., Algebraicheskaya Teoriya Kvazimnogoobrazij, Nauchnaya Kniga, Novosibirsk, 1999. English transl. Algebraic Theory of Quasivarieties, Consultants Bureau, New York 1998."},{"key":"9188_CR9","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B. J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson B.: \u2018Algebras whose congruence lattices are distributive\u2019. Math. Scand. 21, 110\u2013121 (1967)","journal-title":"Math. Scand."},{"key":"9188_CR10","doi-asserted-by":"crossref","first-page":"255","DOI":"10.4064\/cm-42-1-255-261","volume":"42","author":"B. J\u00f3nsson","year":"1979","unstructured":"J\u00f3nsson B.: \u2018On finitely based varieties of algebras\u2019. Colloq. Math. 42, 255\u2013261 (1979)","journal-title":"Colloq. Math."},{"key":"9188_CR11","volume-title":"Algebraicheskie Sistemy, Nauka, Moscow, 1970. English transl","author":"A.I. Mal\u2019cev","year":"1973","unstructured":"Mal\u2019cev A.I.: Algebraicheskie Sistemy, Nauka, Moscow, 1970. English transl. Algebraic Systems, Springer-Verlag, New York (1973)"},{"key":"9188_CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s11225-005-3320-5","volume":"78","author":"M. Mar\u00f3ti","year":"2004","unstructured":"Mar\u00f3ti M., McKenzie R.: \u2018Finite basis problems and results for quasivarieties\u2019. Studia Logica 78, 293\u2013320 (2004)","journal-title":"Studia Logica"},{"key":"9188_CR13","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/BF02485404","volume":"8","author":"R. McKenzie","year":"1978","unstructured":"McKenzie R.: \u2018Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties\u2019. Algebra Universalis 8, 336\u2013348 (1978)","journal-title":"Algebra Universalis"},{"key":"9188_CR14","unstructured":"McKenzie, R. N., G. F. McNulty, and W. F. Taylor, Algebras, Lattices, Varieties. Vol. I, Wadsworth & Brooks\/Cole Advanced Books & Software, Monterey, 1987."},{"key":"9188_CR15","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/BF01978557","volume":"29","author":"A.M. Nurakunov","year":"1990","unstructured":"Nurakunov A.M.: \u2018Characterization of relatively distributive quasivarieties of algebras\u2019. Algebra Logic 29, 451\u2013458 (1990)","journal-title":"Algebra Logic"},{"key":"9188_CR16","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF01980218","volume":"29","author":"A.M. Nurakunov","year":"1990","unstructured":"Nurakunov A.M.: \u2018Quasivarieties of algebras with definable principal congruences\u2019. Algebra Logic 29, 26\u201334 (1990)","journal-title":"Algebra Logic"},{"key":"9188_CR17","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1023\/A:1004849727945","volume":"42","author":"A.M. Nurakunov","year":"2001","unstructured":"Nurakunov A.M.: \u2018Quasi-identities of congruence-distributive quasivarieties of algebras\u2019. Siberian Math. J. 42, 108\u2013118 (2001)","journal-title":"Siberian Math. J."},{"key":"9188_CR18","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1024630124326","volume":"74","author":"K. Pa\u0142asi\u0144ska","year":"2003","unstructured":"Pa\u0142asi\u0144ska K.: \u2018Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal horn classes\u2019. Studia Logica 74, 233\u2013273 (2003)","journal-title":"Studia Logica"},{"key":"9188_CR19","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1090\/S0002-9947-1988-0946222-1","volume":"331","author":"D. Pigozzi","year":"1988","unstructured":"Pigozzi D.: \u2018Finite basis theorem for relatively congruence-distributive quasivarieties\u2019. Trans. Amer. Math. Soc. 331, 499\u2013533 (1988)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9188_CR20","doi-asserted-by":"crossref","first-page":"187","DOI":"10.2307\/2586531","volume":"65","author":"R. Willard","year":"2000","unstructured":"Willard R.: \u2018A finite basis theorem for residually finite, congruence meetsemidistributive varieties\u2019. J. Symbolic Logic 65, 187\u2013200 (2000)","journal-title":"J. Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9188-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9188-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9188-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:45Z","timestamp":1559384685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9188-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,28]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9188"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9188-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,28]]}}}