{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:48:48Z","timestamp":1742996928500,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_16","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T03:11:16Z","timestamp":1493003476000},"page":"258-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Embeddability into Relational Lattices Is Undecidable"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Santocanale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1134\/S2070046613020015","volume":"5","author":"N Ackerman","year":"2013","unstructured":"Ackerman, N.: Completeness in generalized ultrametric spaces. P-Adic Numbers Ultrametric Anal. Appl. 5(2), 89\u2013105 (2013)","journal-title":"P-Adic Numbers Ultrametric Anal. Appl."},{"key":"16_CR2","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"2012","unstructured":"Burris, S., Sankappanavar, H.: A Course in Universal Algebra. Dover Publications, Incorporated, Mineola (2012)"},{"issue":"6","key":"16_CR3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"16_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, New York (2002)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1112\/jlms\/s1-28.1.76","volume":"28","author":"T Evans","year":"1953","unstructured":"Evans, T.: Embeddability and the word problem. J. London Math. Soc. 28, 76\u201380 (1953)","journal-title":"J. London Math. Soc."},{"key":"16_CR6","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/042","volume-title":"Free lattices","author":"R Freese","year":"1995","unstructured":"Freese, R., Je\u017eek, J., Nation, J.: Free lattices. American Mathematical Society, Providence (1995)"},{"key":"16_CR7","volume-title":"General Lattice Theory","author":"G Gr\u00e4tzer","year":"1998","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verlag, Basel (1998). New appendices by the author with Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R"},{"key":"16_CR8","doi-asserted-by":"crossref","DOI":"10.1201\/b10959","volume-title":"Handbook of Product Graphs","author":"R Hammack","year":"2011","unstructured":"Hammack, R., Imrich, W., Klavzar, S.: Handbook of Product Graphs, 2nd edn. CRC Press Inc, Boca Raton (2011)","edition":"2"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1090\/S0002-9947-99-02264-3","volume":"353","author":"R Hirsch","year":"2001","unstructured":"Hirsch, R., Hodkinson, I.: Representability is not decidable for finite relation algebras. Trans. Am. Math. Soc. 353, 1403\u20131425 (2001)","journal-title":"Trans. Am. Math. Soc."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2178\/jsl\/1190150040","volume":"67","author":"R Hirsch","year":"2002","unstructured":"Hirsch, R., Hodkinson, I., Kurucz, A.: On modal logics between K \n                      \n                        \n                      \n                      $$\\times $$\n                      \n                        \n                          \u00d7\n                        \n                      \n                     K \n                      \n                        \n                      \n                      $$\\times $$\n                      \n                        \n                          \u00d7\n                        \n                      \n                     K and S5 \n                      \n                        \n                      \n                      $$\\times $$\n                      \n                        \n                          \u00d7\n                        \n                      \n                     S5 \n                      \n                        \n                      \n                      $$\\times $$\n                      \n                        \n                          \u00d7\n                        \n                      \n                     S5. J. Symb. Log. 67, 221\u2013234 (2002)","journal-title":"J. Symb. Log."},{"key":"16_CR11","first-page":"869","volume-title":"Handbook of Modal Logic Studies in Logic and Practical Reasoning","author":"A Kurucz","year":"2007","unstructured":"Kurucz, A.: Combining modal logics. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Handbook of Modal Logic Studies in Logic and Practical Reasoning, pp. 869\u2013924. Elsevier, Amsterdam (2007)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"XLIII","author":"FW Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, closed categories. Rendiconti del Seminario Matematico e Fisico di Milano XLIII, 135\u2013166 (1973)","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1016\/j.jlamp.2015.11.008","volume":"85","author":"T Litak","year":"2016","unstructured":"Litak, T., Mikuls, S., Hidders, J.: Relational lattices: from databases to universal algebra. J. Logical Algebraic Methods Program. 85(4), 540\u2013573 (2016)","journal-title":"J. Logical Algebraic Methods Program."},{"issue":"2","key":"16_CR14","doi-asserted-by":"publisher","first-page":"311","DOI":"10.2307\/2273191","volume":"45","author":"R Maddux","year":"1980","unstructured":"Maddux, R.: The equational theory of \n                      \n                        \n                      \n                      $${C}{A}_{3}$$\n                      \n                        \n                          \n                            C\n                            \n                              A\n                              3\n                            \n                          \n                        \n                      \n                     is undecidable. J. Symbolic Logic 45(2), 311\u2013316 (1980)","journal-title":"J. Symbolic Logic"},{"key":"16_CR15","volume-title":"Relation Algebras Studies in Logic and the Foundations of Mathematics","author":"R Maddux","year":"2006","unstructured":"Maddux, R.: Relation Algebras Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (2006)"},{"issue":"4","key":"16_CR16","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BF01188998","volume":"27","author":"JB Nation","year":"1990","unstructured":"Nation, J.B.: An approach to lattice varieties of finite height. Algebra Universalis 27(4), 521\u2013543 (1990)","journal-title":"Algebra Universalis"},{"issue":"1","key":"16_CR17","first-page":"1187","volume":"320","author":"S Priess-Crampe","year":"1995","unstructured":"Priess-Crampe, S., Ribemboim, P.: Equivalence relations and spherically complete ultrametric spaces. C. R. Acad. Sci. Paris 320(1), 1187\u20131192 (1995)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1026407804348","volume":"62","author":"G Sambin","year":"1999","unstructured":"Sambin, G.: Subdirectly irreducible modal algebras and initial frames. Studia Log. 62, 269\u2013282 (1999)","journal-title":"Studia Log."},{"key":"16_CR19","unstructured":"Santocanale, L.: A duality for finite lattices. Preprint, September (2009). \n                      http:\/\/hal.archives-ouvertes.fr\/hal-00432113"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-40370-0_12","volume-title":"Coalgebraic Methods in Computer Science","author":"L Santocanale","year":"2016","unstructured":"Santocanale, L.: Relational lattices via duality. In: Hasuo, I. (ed.) CMCS 2016. LNCS, vol. 9608, pp. 195\u2013215. Springer, Cham (2016). doi:\n                      10.1007\/978-3-319-40370-0_12"},{"key":"16_CR21","unstructured":"Santocanale, L.: The quasiequational theory of relational lattices, in the pure lattice signature. Preprint, July (2016). \n                      https:\/\/hal.archives-ouvertes.fr\/hal-01344299"},{"key":"16_CR22","unstructured":"Spight, M., Tropashko, V.: Relational lattice axioms. Preprint (2008). \n                      http:\/\/arxiv.org\/abs\/0807.3795"},{"key":"16_CR23","unstructured":"Tropashko, V.: Relational algebra as non-distributive lattice. Preprint (2006). \n                      http:\/\/arxiv.org\/abs\/cs\/0501053"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:11:42Z","timestamp":1558318302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/RAMiCS17\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}