{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:48:40Z","timestamp":1774590520497,"version":"3.50.1"},"reference-count":10,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.1215\/00294527-2008-029","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T14:26:27Z","timestamp":1232375187000},"source":"Crossref","is-referenced-by-count":17,"title":["On Interpretability in the Theory of Concatenation"],"prefix":"10.1215","volume":"50","author":[{"given":"V\u00edt\u011bzslav","family":"\u0160vejdar","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Grzegorczyk, A., \"Undecidability without arithmetization\", <i>Studia Logica<\/i>, vol. 79 (2005), pp. 163--230.","DOI":"10.1007\/s11225-005-2976-1"},{"key":"4","unstructured":"[4] Grzegorczyk, A., and K. Zdanowski, \"Undecidability and concatenation\", pp. 72--91 in <i>Andrzej Mostowski and Moundational Studies<\/i>, edited by A. Ehrenfeucht, V. W. Marek, and M. Srebrny, IOS, Amsterdam, 2008."},{"key":"5","unstructured":"[5] H\u00e1jek, P., \"Mathematical fuzzy logic and natural numbers\", <i>Fundamenta Informaticae<\/i>, vol. 81 (2007), pp. 155--63."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Quine, W. V., \"Concatenation as a basis for arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 11 (1946), pp. 105--14.","DOI":"10.2307\/2268308"},{"key":"7","unstructured":"[7] \u0160vejdar, V., \"An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant\", <i>Fundamenta Informaticae<\/i>, vol. 81 (2007), pp. 347--54."},{"key":"8","unstructured":"[8] Tarski, A., <i>Undecidable Theories<\/i>, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, 1953. In collaboration with A. Mostowski and R. M. Robinson."},{"key":"9","unstructured":"[9] Visser, A., \"An overview of interpretability logic\", pp. 307--59 in <i>Advances in Modal Logic I (AiML<\/i>'96, Berlin), edited by M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, vol. 87 of <i>CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 1998."},{"key":"1","unstructured":"[][1] \u010ca\u010di\u0107, V., P. Pudl\u00e1k, G. Restall, A. Urquhart, and A. Visser, ``Decorated linear order types and the theory of concatenation,'' 2007."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Ganea, M., \"Arithmetic on semigroups\", <i>The Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 265--78.","DOI":"10.2178\/jsl\/1231082312"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Visser, A., \"Growing commas: A study of sequentiality and concatenation\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 50 (2009), pp. 61--85.","DOI":"10.1215\/00294527-2008-028"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:14Z","timestamp":1706648234000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-1\/On-Interpretability-in-the-Theory-of-Concatenation\/10.1215\/00294527-2008-029.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":10,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-029","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}