{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T07:14:57Z","timestamp":1790752497145,"version":"4.1.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030171261","type":"print"},{"value":"9783030171278","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T00:00:00Z","timestamp":1554422400000},"content-version":"vor","delay-in-days":94,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered algebras, continuous algebras, quantitative algebras, nominal algebras, or profinite algebras. Our main contributions are a generic HSP theorem and a sound and complete equational logic, which are shown to encompass numerous flavors of equational axiomizations studied in the literature.<\/jats:p>","DOI":"10.1007\/978-3-030-17127-8_23","type":"book-chapter","created":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T11:11:46Z","timestamp":1554462706000},"page":"400-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Equational Axiomatization of Algebras with Structure"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Milius","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henning","family":"Urbat","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,4,5]]},"reference":[{"issue":"2","key":"23_CR1","first-page":"13","volume":"2","author":"J Ad\u00e1mek","year":"2007","unstructured":"Ad\u00e1mek, J., H\u00e9bert, M., Sousa, L.: A logic of injectivity. J. Homotopy Relat. Struct. 2(2), 13\u201347 (2007)","journal-title":"J. Homotopy Relat. Struct."},{"issue":"3","key":"23_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1305\/ndjfl\/1093637934","volume":"29","author":"J Ad\u00e1mek","year":"1988","unstructured":"Ad\u00e1mek, J., Mekler, A.H., Nelson, E., Reiterman, J.: On the logic of continuous algebras. Notre Dame J. Formal Logic 29(3), 365\u2013380 (1988)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/BF01195142","volume":"20","author":"J Ad\u00e1mek","year":"1985","unstructured":"Ad\u00e1mek, J., Nelson, E., Reiterman, J.: The Birkhoff variety theorem for continuous algebras. Algebra Univers. 20(3), 328\u2013350 (1985)","journal-title":"Algebra Univers."},{"key":"23_CR4","series-title":"Cambridge Tracts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511760754","volume-title":"Algebraic Theories: A Categorical Introduction to General Algebra","author":"J Ad\u00e1mek","year":"2010","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J., Vitale, E.M.: Algebraic Theories: A Categorical Introduction to General Algebra. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2010)"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Almeida, J., Kl\u00edma, O.: Towards a pseudoequational proof theory. arXiv preprint arXiv:1708.09681 (2017)","DOI":"10.4171\/pm\/2012"},{"issue":"2","key":"23_CR6","first-page":"149","volume":"2","author":"B Banaschewski","year":"1976","unstructured":"Banaschewski, B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2(2), 149\u2013171 (1976)","journal-title":"Houston J. Math."},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"10","author":"G Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 10, 433\u2013454 (1935)","journal-title":"Proc. Camb. Philos. Soc."},{"issue":"13","key":"23_CR8","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"2","author":"SL Bloom","year":"1976","unstructured":"Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci. 2(13), 200\u2013212 (1976)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s00224-013-9464-1","volume":"53","author":"M Boja\u0144czyk","year":"2013","unstructured":"Boja\u0144czyk, M.: Nominal monoids. Theory Comput. Syst. 53(2), 194\u2013222 (2013)","journal-title":"Theory Comput. Syst."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-662-49630-5_31","volume-title":"Foundations of Software Science and Computation Structures","author":"L-T Chen","year":"2016","unstructured":"Chen, L.-T., Ad\u00e1mek, J., Milius, S., Urbat, H.: Profinite monads, profinite equations, and Reiterman\u2019s theorem. In: Jacobs, B., L\u00f6ding, C. (eds.) FoSSaCS 2016. LNCS, vol. 9634, pp. 531\u2013547. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49630-5_31"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Colcombet, T., Ley, C., Puppis, G.: Logics with rigidly guarded data tests. Log. Methods Comput. Sci. 11(3) (2015)","DOI":"10.2168\/LMCS-11(3:10)2015"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/0001-8708(76)90029-3","volume":"10","author":"S Eilenberg","year":"1976","unstructured":"Eilenberg, S., Sch\u00fctzenberger, M.P.: On pseudovarieties. Adv. Math. 10, 413\u2013418 (1976)","journal-title":"Adv. Math."},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1093\/logcom\/exn055","volume":"19","author":"MJ Gabbay","year":"2009","unstructured":"Gabbay, M.J.: Nominal algebra and the HSP theorem. J. Logic Comput. 19, 341\u2013367 (2009)","journal-title":"J. Logic Comput."},{"issue":"1","key":"23_CR14","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"JA Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. J. ACM 24(1), 68\u201395 (1977)","journal-title":"J. ACM"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.1017\/S096012951500050X","volume":"27","author":"A Kurz","year":"2017","unstructured":"Kurz, A., Velebil, J.: Quasivarieties and varieties of ordered algebras: regularity and exactness. Math. Struct. Comput. Sci. 27, 1153\u20131194 (2017)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"23_CR16","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1017\/S0960129509990399","volume":"20","author":"A Kurz","year":"2010","unstructured":"Kurz, A., Petrisan, D.: On universal algebra over nominal sets. Math. Struct. Comput. Sci. 20(2), 285\u2013318 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"23_CR17","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"EG Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Graduate Texts in Mathematics, vol. 26. Springer, New York (1976). https:\/\/doi.org\/10.1007\/978-1-4612-9860-1"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Mardare, R., Panangaden, P., Plotkin, G.: Quantitative algebraic reasoning. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2016, pp. 700\u2013709. ACM (2016)","DOI":"10.1145\/2933575.2934518"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Mardare, R., Panangaden, P., Plotkin, G.: On the axiomatizability of quantitative algebras. In: 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, 20\u201323 June 2017, pp. 1\u201312. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/LICS.2017.8005102","DOI":"10.1109\/LICS.2017.8005102"},{"key":"23_CR20","unstructured":"Milius, S., Urbat, H.: Equational axiomatization of algebras with structure. CoRR abs\/1812.02016 (2018). http:\/\/arxiv.org\/abs\/1812.02016"},{"issue":"5","key":"23_CR21","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1007\/s10485-016-9457-8","volume":"24","author":"S Milius","year":"2016","unstructured":"Milius, S., Schr\u00f6der, L., Wi\u00dfmann, T.: Regular behaviours with names. Appl. Categorical Struct. 24(5), 663\u2013701 (2016)","journal-title":"Appl. Categorical Struct."},{"key":"23_CR22","unstructured":"Pin, J.\u00c9.: Profinite methods in automata theory. In: Albers, S., Marion, J.Y. (eds.) 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, pp. 31\u201350. IBFI Schloss Dagstuhl (2009)"},{"key":"23_CR23","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BF01243597","volume":"35","author":"J\u00c9 Pin","year":"1996","unstructured":"Pin, J.\u00c9., Weil, P.: A Reiterman theorem for pseudovarieties of finite first-order structures. Algebra Univers. 35, 577\u2013595 (1996)","journal-title":"Algebra Univers."},{"key":"23_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139084673","volume-title":"Nominal Sets: Names and Symmetry in Computer Science","author":"AM Pitts","year":"2013","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge University Press, Cambridge (2013)"},{"issue":"1","key":"23_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J Reiterman","year":"1982","unstructured":"Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Univers. 14(1), 1\u201310 (1982)","journal-title":"Algebra Univers."},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/3-540-44802-0_37","volume-title":"Computer Science Logic","author":"G Ro\u015fu","year":"2001","unstructured":"Ro\u015fu, G.: Complete categorical equational deduction. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol. 2142, pp. 528\u2013538. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44802-0_37"},{"key":"23_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11780274_9","volume-title":"Algebra, Meaning, and Computation","author":"G Ro\u015fu","year":"2006","unstructured":"Ro\u015fu, G.: Complete categorical deduction for satisfaction as injectivity. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol. 4060, pp. 157\u2013172. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11780274_9"},{"key":"23_CR28","unstructured":"Salam\u00e1nca, J.: Unveiling Eilenberg-type Correspondences: Birkhoff\u2019s Theorem for (finite) Algebras + Duality (2017). https:\/\/arxiv.org\/abs\/1702.02822"},{"key":"23_CR29","unstructured":"Urbat, H., Ad\u00e1mek, J., Chen, L., Milius, S.: Eilenberg theorems for free. CoRR abs\/1602.05831 (2017). http:\/\/arxiv.org\/abs\/1602.05831"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17127-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T16:06:21Z","timestamp":1757088381000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-17127-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030171261","9783030171278"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17127-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.etaps.org\/2019\/fossacs","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}