{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:10:02Z","timestamp":1743102602362,"version":"3.40.3"},"reference-count":22,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1715698","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T18:31:09Z","timestamp":1336588269000},"source":"Crossref","is-referenced-by-count":3,"title":["Weak Theories of Concatenation and Arithmetic"],"prefix":"10.1215","volume":"53","author":[{"given":"Yoshihiro","family":"Horihata","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"\u010ca\u010di\u0107, V., P. Pudl\u00e1k, G. Restall, A. Urquhart, and A. Visser, \"Decorated linear order types and the theory of concatenation\", pp. 1\u201313 in <i>Logic Colloquium 2007<\/i>, edited by F. Delon, U. Kohlenbach, P. Maddy, and F. Stephan, vol. 35 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, 2010.","DOI":"10.1017\/CBO9780511778421.003"},{"key":"2","unstructured":"Friedman, H., \"Interpretation, according to Tarski\", Lecture note of <i>Nineteenth Annual Tarski Lectures<\/i> at the University of California at Berkeley, http:\/\/www.math.ohio-state.edu\/~ friedman\/pdf\/Tarski1,052407.pdf."},{"key":"3","doi-asserted-by":"publisher","unstructured":"Ganea, M., \"Arithmetic on semigroups\", <i>The Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 265\u201378.","DOI":"10.2178\/jsl\/1231082312"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Grzegorczyk, A., \"Undecidability without arithmetization\", <i>Studia Logica<\/i>, vol. 79 (2005), pp. 163\u2013230.","DOI":"10.1007\/s11225-005-2976-1"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Grzegorczyk, A., and K. Zdanowski, \"Undecidability and concatenation\", pp. 72\u201391 in <i>Andrzej Mostowski and Foundational Studies<\/i>, edited by A. Ehrenfeucht, V. W. Marek, and M. Srebrny, IOS, Amsterdam, 2008.","DOI":"10.3233\/978-1-58603-782-6-72"},{"key":"6","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., and P. Pudl\u00e1k, <i>Metamathematics of First-Order Arithmetic<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Jones, J. P., and J. C. Shepherdson, \"Variants of Robinson's essentially undecidable theory ${\\rm R}$\", <i>Archiv f\u00fcr mathematische Logik und Grundlagenforschung<\/i>, vol. 23 (1983), pp. 61\u201364.","DOI":"10.1007\/BF02023013"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, P., <i>Aspects of Incompleteness<\/i>, vol. 10 of <i>Lecture Notes in Logic<\/i>, Springer-Verlag, Berlin, 1997.","DOI":"10.1007\/978-3-662-21635-4"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Nelson, E., <i>Predicative Arithmetic<\/i>, vol. 32 of <i>Mathematical Notes<\/i>, Princeton University Press, Princeton, 1986.","DOI":"10.1515\/9781400858927"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Quine, W. V., \"Concatenation as a basis for arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 11 (1946), pp. 105\u201314.","DOI":"10.2307\/2268308"},{"key":"11","unstructured":"Solovay, R. M., \"Interpretability in set theories\", (1976). unpublished letter to P. H$\\Acute{}$jek, www.cs.cas.cz\/hajek\/RSolovayZFGB.pdf."},{"key":"12","unstructured":"Sterken, R., <i>Concatenation as a basis for $\\QQ$ and the intuitionistic variant of Nelson's classic result<\/i>, Ph.D. thesis, Universiteit van Amsterdam, 2008."},{"key":"13","unstructured":"\u0160vejdar, V., \"Relatives of Robinson Arithmetic\", pp. 253\u201363 in <i>The Logica Yearbook 2008: Proceedings of the Logica 08 International Conference<\/i>, 2009."},{"key":"14","unstructured":"\u0160vejdar, V., \"Degrees of interpretability\", <i>Commentationes Mathematicae Universitatis Carolinae<\/i>, vol. 19 (1978), pp. 789\u2013813."},{"key":"15","unstructured":"\u0160vejdar, V., \"An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant\", <i>Fundamenta Informaticae<\/i>, vol. 81 (2007), pp. 347\u201354."},{"key":"16","doi-asserted-by":"publisher","unstructured":"\u0160vejdar, V., \"On interpretability in the theory of concatenation\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 50 (2009), pp. 87\u201395.","DOI":"10.1215\/00294527-2008-029"},{"key":"17","unstructured":"Tarski, A., A. Mostowski, and R. M. Robinson, <i>Undecidable Theories<\/i>, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1953."},{"key":"18","unstructured":"Tarski, A., \"The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen)\", <i>Studia Philosophica<\/i>, vol. 1 (1935), pp. 261\u2013405."},{"key":"19","unstructured":"Vaught, R. L., \"On a theorem of Cobham concerning undecidable theories\", pp. 14\u201325 in <i>Logic, Methodology and Philosophy of Science (Proceedings 1960 International Congress)<\/i>, edited by E. Nagel, P. Suppes, and A. Tarski, Stanford University Press, Stanford, 1962."},{"key":"20","unstructured":"Visser, A., \"An overview of interpretability logic\", pp. 307\u201359 in <i>Advances in Modal Logic, Vol. 1 (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":"21","doi-asserted-by":"publisher","unstructured":"Visser, A., \"Growing commas. A study of sequentiality and concatenation\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 50 (2009), pp. 61\u201385.","DOI":"10.1215\/00294527-2008-028"},{"key":"22","unstructured":"Visser, A., \"Why the theory $\\mathsf{R}$ is special\", Logic Group Preprint Series 267, Department of Philosophy, Utrecht University, 2009."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1715698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:59:15Z","timestamp":1743098355000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-2\/Weak-Theories-of-Concatenation-and-Arithmetic\/10.1215\/00294527-1715698.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":22,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1715698","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}