{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:22Z","timestamp":1784484142628,"version":"3.55.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_28","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:06Z","timestamp":1784482146000},"page":"421-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Comparing the\u00a0Effective Content of\u00a0Subshifts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9908-5642","authenticated-orcid":false,"given":"A.","family":"Nakid Cordero","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4231-9741","authenticated-orcid":false,"given":"I.","family":"Scott","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10440-013-9808-5","volume":"126","author":"N Aubrun","year":"2013","unstructured":"Aubrun, N., Sablik, M.: Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type. Acta Appl. Math. 126(1), 35\u201363 (2013)","journal-title":"Acta Appl. Math."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Belegradek, O.V.: Higman\u2019s Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. Notre Dame J. Formal Logic 37(4) (1996)","DOI":"10.1305\/ndjfl\/1040046145"},{"key":"28_CR3","doi-asserted-by":"publisher","unstructured":"Durand, B., Romashchenko, A., Shen, A.: Effective Closed Subshifts in 1D Can Be Implemented in 2D. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 208\u2013226. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15025-8_12","DOI":"10.1007\/978-3-642-15025-8_12"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s00222-008-0161-7","volume":"176","author":"M Hochman","year":"2009","unstructured":"Hochman, M.: On the dynamics and recursive properties of multidimensional symbolic systems. Invent. Math. 176(1), 131\u2013167 (2009)","journal-title":"Invent. Math."},{"key":"28_CR5","volume-title":"Building Models by Games","author":"W Hodges","year":"1985","unstructured":"Hodges, W.: Building Models by Games. London Mathematical Society Student Texts, Cambridge University Press (1985)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Jeandel, E.: Enumeration reducibility in closure spaces with applications to logic and algebra. In: LICS (2017)","DOI":"10.1109\/LICS.2017.8005086"},{"key":"28_CR7","unstructured":"Jeandel, E., Vanier, P.: A Characterization of Subshifts with Computable Language. In: 36th International Symposium on Theoretical Aspects of Computer Science. LIPIcs, vol.\u00a0126, pp. 40:1\u201340:16. Schloss Dagstuhl, Dagstuhl, Germany (2019)"},{"key":"28_CR8","unstructured":"Nakid Cordero, A.: The Computability of Asymmetric Information. Ph.D. thesis, University of Wisconsin\u2013Madison (2026)"},{"issue":"1","key":"28_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1112\/blms\/14.1.43","volume":"14","author":"E Rips","year":"1982","unstructured":"Rips, E.: Another characterization of finitely generated groups with a solvable word problem. Bull. Lond. Math. Soc. 14(1), 43\u201344 (1982)","journal-title":"Bull. Lond. Math. Soc."},{"key":"28_CR10","unstructured":"Ziegler, M.: Algebraisch Abgeschlossene Gruppen. In: Word Problems II, Studies in Logic and the Foundations of Mathematics, vol. 95. Elsevier (1980)"}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:07Z","timestamp":1784482147000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","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":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}