{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:45:46Z","timestamp":1759146346286,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,2,7]],"date-time":"2019-02-07T00:00:00Z","timestamp":1549497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"crossref","award":["689176"],"award-info":[{"award-number":["689176"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"crossref","award":["GA17-04630S"],"award-info":[{"award-number":["GA17-04630S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Research Foundation of South Africa","award":["UID 85407"],"award-info":[{"award-number":["UID 85407"]}]},{"name":"DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), South Africa"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s11225-019-09846-5","type":"journal-article","created":{"date-parts":[[2019,2,7]],"date-time":"2019-02-07T07:29:55Z","timestamp":1549524595000},"page":"255-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Epimorphisms, Definability and Cardinalities"],"prefix":"10.1007","volume":"108","author":[{"given":"T.","family":"Moraschini","sequence":"first","affiliation":[]},{"given":"J. G.","family":"Raftery","sequence":"additional","affiliation":[]},{"given":"J. J.","family":"Wannenburg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,7]]},"reference":[{"key":"9846_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BF01190252","volume":"27","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., How many variables does a quasivariety need? Algebra Universalis 27:44\u201348, 1990.","journal-title":"Algebra Universalis"},{"key":"9846_CR2","doi-asserted-by":"publisher","first-page":"471","DOI":"10.4153\/CMB-1974-083-6","volume":"17","author":"PD Bacsich","year":"1974","unstructured":"Bacsich,\u00a0P. D., Model theory of epimorphisms, Canad. Math. Bull. 17:471\u2013477, 1974.","journal-title":"Canad. Math. Bull."},{"key":"9846_CR3","first-page":"149","volume":"2","author":"B Banaschewski","year":"1976","unstructured":"Banaschewski,\u00a0B., and H.\u00a0Herrlich, Subcategories defined by implications, Houston J. Math. 2:149\u2013171, 1976.","journal-title":"Houston J. Math."},{"key":"9846_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.jalgebra.2017.08.023","volume":"492","author":"G Bezhanishvili","year":"2017","unstructured":"Bezhanishvili,\u00a0G., T.\u00a0Moraschini, and J. G.\u00a0Raftery, Epimorphisms in varieties of residuated structures, J. Algebra 492:185\u2013211, 2017.","journal-title":"J. Algebra"},{"key":"9846_CR5","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"29","author":"G Birkhoff","year":"1935","unstructured":"Birkhoff,\u00a0G., On the structure of abstract algebras, Proc. Cambridge Phil. Soc. 29:433\u2013454, 1935.","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"9846_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s11225-006-8298-0","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok,\u00a0W. J., and E.\u00a0Hoogland, The Beth property in algebraic logic, Studia Logica 83:49\u201390, 2006.","journal-title":"Studia Logica"},{"key":"9846_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-006-8299-z","volume":"83","author":"WJ Blok","year":"2006","unstructured":"Blok,\u00a0W. J., and B.\u00a0J\u00f3nsson, Equivalence of consequence operations, Studia Logica 83:91\u2013110, 2006.","journal-title":"Studia Logica"},{"key":"9846_CR8","doi-asserted-by":"crossref","unstructured":"Blok,\u00a0W. J., and D.\u00a0Pigozzi, Algebraizable Logics, Memoirs of the American Mathematical Society\u00a0396, Amer. Math. Soc., Providence, 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9846_CR9","unstructured":"Blok,\u00a0W. J., and D.\u00a0Pigozzi, Algebraic semantics for universal Horn logic without equality, in J. D. H. Smith, and A. Romanowska (eds.), Universal Algebra and Quasigroup Theory, Heldermann Verlag, Berlin, 1992, pp. 1\u201356."},{"key":"9846_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s11225-005-7127-1","volume":"78","author":"A Budkin","year":"2004","unstructured":"Budkin,\u00a0A., Dominions in quasivarieties of universal algebras, Studia Logica 78:107\u2013127, 2004.","journal-title":"Studia Logica"},{"key":"9846_CR11","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/s10469-008-9029-6","volume":"47","author":"A Budkin","year":"2008","unstructured":"Budkin,\u00a0A., Dominions of universal algebras and projective properties, Algebra and Logic 47:304\u2013313, 2008.","journal-title":"Algebra and Logic"},{"key":"9846_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1017\/jsl.2017.18","volume":"83","author":"MA Campercholi","year":"2018","unstructured":"Campercholi,\u00a0M. A., Dominions and primitive positive functions, J. Symbolic Logic 83:40\u201354, 2018.","journal-title":"J. Symbolic Logic"},{"key":"9846_CR13","doi-asserted-by":"crossref","unstructured":"Czelakowski,\u00a0J., Equivalential logics (I), and (II), Studia Logica 40:227\u2013236, and 355\u2013372, 1981.","DOI":"10.1007\/BF00401654"},{"key":"9846_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski,\u00a0J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001."},{"key":"9846_CR15","unstructured":"Czelakowski,\u00a0J., and D.\u00a0Pigozzi, Amalgamation and interpolation in abstract algebraic logic, in X. Caicedo, and C. H. Montenegro (eds.), Models, Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics, No.\u00a0203, Marcel Dekker, New York, 1999, pp.\u00a0187\u2013265."},{"key":"9846_CR16","unstructured":"Font,\u00a0J. M., Abstract Algebraic Logic \u2013 An Introductory Textbook, Studies in Logic 60, College Publications, London, 2016."},{"key":"9846_CR17","doi-asserted-by":"crossref","unstructured":"Font,\u00a0J. M., R.\u00a0Jansana, and D.\u00a0Pigozzi, A survey of abstract algebraic logic, and Update, Studia Logica 74:13\u201397, 2003, and 91:125\u2013130, 2009.","DOI":"10.1007\/s11225-009-9169-2"},{"key":"9846_CR18","volume-title":"Abelian categories","author":"P Freyd","year":"1964","unstructured":"Freyd,\u00a0P., Abelian categories, Harper and Row, New York, 1964."},{"key":"9846_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay,\u00a0D. M., and L.\u00a0Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Oxford Logic Guides 46, Clarendon Press, Oxford, 2005.","DOI":"10.1093\/acprof:oso\/9780198511748.001.0001"},{"key":"9846_CR20","volume-title":"Algebraic Theory of Quasivarieties","author":"VA Gorbunov","year":"1998","unstructured":"Gorbunov,\u00a0V. A., Algebraic Theory of Quasivarieties, Consultants Bureau, New York, 1998."},{"key":"9846_CR21","doi-asserted-by":"publisher","first-page":"603","DOI":"10.4153\/CMB-1973-100-4","volume":"16","author":"G Gr\u00e4tzer","year":"1973","unstructured":"Gr\u00e4tzer,\u00a0G., and H.\u00a0Lakser, A note on the implicational class generated by a class of structures, Canad. Math. Bull. 16:603\u2013605, 1973.","journal-title":"Canad. Math. Bull."},{"key":"9846_CR22","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B Herrmann","year":"1996","unstructured":"Herrmann,\u00a0B., Equivalential and algebraizable logics, Studia Logica 57:419\u2013436, 1996.","journal-title":"Studia Logica"},{"key":"9846_CR23","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1023\/A:1004979825733","volume":"58","author":"B Herrmann","year":"1997","unstructured":"Herrmann,\u00a0B., Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica 58:305\u2013323, 1997.","journal-title":"Studia Logica"},{"key":"9846_CR24","unstructured":"Henkin,\u00a0L., J. D.\u00a0Monk, and A.\u00a0Tarski, Cylindric Algebras, Part II, North-Holland, Amsterdam, 1985."},{"key":"9846_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4064\/cm-56-1-1-17","volume":"56","author":"P Higgins","year":"1988","unstructured":"Higgins,\u00a0P., Epimorphisms and amalgams, Colloquium Mathematicum 56:1\u201317, 1988.","journal-title":"Colloquium Mathematicum"},{"key":"9846_CR26","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1005295109904","volume":"65","author":"E Hoogland","year":"2000","unstructured":"Hoogland,\u00a0E., Algebraic characterizations of various Beth definability properties, Studia Logica 65:91\u2013112, 2000.","journal-title":"Studia Logica"},{"key":"9846_CR27","unstructured":"Hoogland,\u00a0E., Definability and interpolation: model-theoretic investigations, PhD. Thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2001."},{"key":"9846_CR28","doi-asserted-by":"crossref","unstructured":"Isbell,\u00a0J. R., Epimorphisms and dominions, in S. Eilenberg, et al. (eds.), Proceedings of the Conference on Categorical Algebra (La Jolla, California, 1965), Springer, New York, 1966, pp.\u00a0232\u2013246.","DOI":"10.1007\/978-3-642-99902-4_9"},{"key":"9846_CR29","doi-asserted-by":"publisher","first-page":"389","DOI":"10.2307\/2964682","volume":"25","author":"G Kreisel","year":"1960","unstructured":"Kreisel,\u00a0G., Explicit definability in intuitionistic logic, J. Symbolic Logic 25:389\u2013390, 1960.","journal-title":"J. Symbolic Logic"},{"key":"9846_CR30","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"61","author":"J \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b,\u00a0J., and R.\u00a0Suszko, Remarks on sentential logics, Proc. Kon. Nederl. Akad. van Wetenschappen, Series A 61:177\u2013183, 1958.","journal-title":"Proc. Kon. Nederl. Akad. van Wetenschappen, Series A"},{"key":"9846_CR31","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0168-0072(99)00049-4","volume":"105","author":"LL Maksimova","year":"2000","unstructured":"Maksimova,\u00a0L. L., Intuitionistic logic and implicit definability, Ann. Pure Appl. Logic 105:83\u2013102, 2000.","journal-title":"Ann. Pure Appl. Logic"},{"key":"9846_CR32","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1022628824337","volume":"42","author":"LL Maksimova","year":"2003","unstructured":"Maksimova,\u00a0L. L., Implicit definability and positive logics, Algebra and Logic 42:37\u201353, 2003.","journal-title":"Algebra and Logic"},{"key":"9846_CR33","first-page":"3","volume":"5","author":"AI Maltsev","year":"1966","unstructured":"Maltsev,\u00a0A. I., Several remarks on quasivarieties of algebraic systems (Russian), Algebra i Logika 5:3\u20139, 1966.","journal-title":"Algebra i Logika"},{"key":"9846_CR34","first-page":"30","volume":"3","author":"T Prucnal","year":"1974","unstructured":"Prucnal,\u00a0T., and A.\u00a0Wro\u0144ski, An algebraic characterization of the notion of structural completeness, Bull. Sect. Logic 3:30\u201333, 1974.","journal-title":"Bull. Sect. Logic"},{"key":"9846_CR35","doi-asserted-by":"publisher","first-page":"903","DOI":"10.2178\/jsl\/1154698583","volume":"71","author":"JG Raftery","year":"2006","unstructured":"Raftery,\u00a0J. G., Correspondences between Gentzen and Hilbert systems, J. Symbolic Logic 71:903\u2013957, 2006.","journal-title":"J. Symbolic Logic"},{"key":"9846_CR36","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1093\/logcom\/exn087","volume":"20","author":"JG Raftery","year":"2010","unstructured":"Raftery,\u00a0J. G., A non-finitary sentential logic that is elementarily algebraizable, J. Logic Comput. 20:969\u2013975, 2010.","journal-title":"J. Logic Comput."},{"key":"9846_CR37","unstructured":"Wasserman,\u00a0D., Epimorphisms and Dominions in Varieties of Lattices, PhD thesis, University of California at Berkeley, 2001."},{"key":"9846_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki,\u00a0R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-019-09846-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09846-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-019-09846-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T02:08:18Z","timestamp":1585015698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-019-09846-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,7]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9846"],"URL":"https:\/\/doi.org\/10.1007\/s11225-019-09846-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2019,2,7]]},"assertion":[{"value":"10 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2019","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}