{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T10:10:52Z","timestamp":1760955052178},"reference-count":4,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2008,4,1]]},"DOI":"10.1215\/00294527-2008-004","type":"journal-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T19:31:00Z","timestamp":1210879860000},"source":"Crossref","is-referenced-by-count":7,"title":["An Undecidable Property of Recurrent Double Sequences"],"prefix":"10.1215","volume":"49","author":[{"given":"Mihai","family":"Prunescu","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] B\u00f6rger, E., E. Gr\u00e4del, and Y. Gurevich, <i>The Classical Decision Problem<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1997.","DOI":"10.1007\/978-3-642-59207-2"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Rice, H. G., \"Classes of recursively enumerable sets and their decision problems\", <i>Transactions of the American Mathematical Society<\/i>, vol. 74 (1953), pp. 358--66.","DOI":"10.2307\/1990888"},{"key":"4","unstructured":"[4] Sch\u00f6ning, U., <i>Theoretische Informatik---Kurz Gefa\u00df t<\/i>, Spektrum Akademischer Verlag, Heidelberg, 1997."},{"key":"2","unstructured":"[2] Prunescu, M., \"Self-similar carpets over finite fields\", presented at CiE 2007, Siena, 2007."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:05Z","timestamp":1706648225000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-49\/issue-2\/An-Undecidable-Property-of-Recurrent-Double-Sequences\/10.1215\/00294527-2008-004.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4,1]]},"references-count":4,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2008,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-004","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2008,4,1]]}}}