{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:40:01Z","timestamp":1746308401644,"version":"3.40.4"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2014,7,19]],"date-time":"2014-07-19T00:00:00Z","timestamp":1405728000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s00153-014-0391-x","type":"journal-article","created":{"date-parts":[[2014,7,18]],"date-time":"2014-07-18T05:48:17Z","timestamp":1405662497000},"page":"835-853","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Weak theories of concatenation and minimal essentially undecidable theories"],"prefix":"10.1007","volume":"53","author":[{"given":"Kojiro","family":"Higuchi","sequence":"first","affiliation":[]},{"given":"Yoshihiro","family":"Horihata","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,19]]},"reference":[{"key":"391_CR1","unstructured":"Friedman, H.: Interpretation, according to Tarski. Lecture Note of Nineteenth Annual Tarski Lectures at the University of California at Berkeley, http:\/\/www.math.ohio-state.edu\/~friedman\/pdf\/Tarski1,052407.pdf"},{"issue":"1","key":"391_CR2","doi-asserted-by":"crossref","first-page":"265","DOI":"10.2178\/jsl\/1231082312","volume":"74","author":"M. Ganea","year":"2009","unstructured":"Ganea M.: Arithmetic on semigroups. J. Symb. Log. 74(1), 265\u2013278 (2009)","journal-title":"J. Symb. Log."},{"issue":"1","key":"391_CR3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s11225-005-2976-1","volume":"79","author":"A. Grzegorczyk","year":"2005","unstructured":"Grzegorczyk A.: Undecidability without arithmetization. Stud. Log. 79(1), 163\u2013230 (2005)","journal-title":"Stud. Log."},{"key":"391_CR4","doi-asserted-by":"crossref","unstructured":"Grzegorczyk, A., Zdanowski, K.: Undecidability and concatenation. In: Marek, V.W., Ehrenfeucht, A., Srebrny, M. (eds.) Andrzej Mostowski and Foundational Studies, pp. 72\u201391. IOS Press, Netherlands (2008)","DOI":"10.3233\/978-1-58603-782-6-72"},{"issue":"1\u20133","key":"391_CR5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.apal.2003.11.029","volume":"126","author":"Andrzej. Grzegorczyk","year":"2004","unstructured":"Grzegorczyk Andrzej.: Decidability without mathematics. Ann. Pure Appl. Logic 126(1\u20133), 309\u2013312 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"key":"391_CR6","unstructured":"Hilbert, D.: The foundations of mathemtaics (1927). In: van Heijenoort [18], pp. 464\u2013479 (2002)"},{"issue":"2","key":"391_CR7","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1215\/00294527-1715698","volume":"53","author":"Y. Horihata","year":"2012","unstructured":"Horihata Y.: Weak theories of concatenation and arithmetic. Notre Dame J. Formal Log. 53(2), 203\u2013222 (2012)","journal-title":"Notre Dame J. Formal Log."},{"key":"391_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02023013","volume":"23","author":"J.P. Jones","year":"1983","unstructured":"Jones J.P., Shepherdson J.C.: Variants of Robinson\u2019s essentially undecidable theory $${\\mathsf{R} }$$ R . Arch. Math. Log. 23, 61\u201364 (1983)","journal-title":"Arch. Math. Log."},{"key":"391_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"W.V. Quine","year":"1946","unstructured":"Quine W.V.: Concatenation as a basis for arithmetic. J. Symb. Log. 11, 105\u2013114 (1946)","journal-title":"J. Symb. Log."},{"key":"391_CR10","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"Rabin M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1\u201335 (1969)","journal-title":"Trans. Am. Math. Soc."},{"key":"391_CR11","unstructured":"Sterken, R.: Concatenation as a basis for $${\\mathsf{Q} }$$ Q and the intuitionistic variant of Nelson\u2019s classic result. Master\u2019s Thesis, Universiteit van Amsterdam, October 2008"},{"issue":"4","key":"391_CR12","first-page":"789","volume":"19","author":"V. \u0160vejdar","year":"1978","unstructured":"\u0160vejdar V.: Degree of interpretability. Comment. Math. Univ. Carol. 19(4), 789\u2013813 (1978)","journal-title":"Comment. Math. Univ. Carol."},{"key":"391_CR13","unstructured":"\u0160vejdar, V.: Weak theories and essential incompleteness. In: The Logica Yearbook 2007: Proceedings of the Logica 08 International Conference, Philosophia Praha (2008)"},{"issue":"1","key":"391_CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1215\/00294527-2008-029","volume":"50","author":"V. \u0160vejdar","year":"2009","unstructured":"\u0160vejdar V.: On interpretability in the theory of concatenation. Notre Dame J. Formal Log. 50(1), 87\u201395 (2009)","journal-title":"Notre Dame J. Formal Log."},{"key":"391_CR15","unstructured":"Tarski, A.: The concept of truth in formalized languages, 2nd edn. In [17], pp. 152\u2013278 (1934)"},{"key":"391_CR16","unstructured":"Tarski, A., Mostowski, A., Robinson R.M.: Undecidable theories. North-Holland, Amsterdam (1953)"},{"key":"391_CR17","unstructured":"Tarski, A.: Logic, Semantics, Metamathematics: pPapers from 1923 to 1938, 2nd edn. Hackett Publishing Co., USA"},{"key":"391_CR18","unstructured":"van Heijenoort, J. (ed.): From Frege to G\u00f6del. Harvard University Press, Cambridge (2002)"},{"key":"391_CR19","unstructured":"Vaught, R.L.: On a theorit of Cobham concerning undecidable theories. In: Nagel, E., Suppes, P., Tarski, A. (eds.) Logic, Methodology, and Philosophy of Science, pp. 14\u201325. Stanford University Press, USA (1962)"},{"key":"391_CR20","unstructured":"Visser, A.: An overview of interpretability logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advanced in Modal Logic I(AiML\u201996, Berlin), volume 87 of CSLI Lecture Notes, pp. 307\u2013359. CSLI Publications, Stanford (1998)"},{"issue":"1","key":"391_CR21","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1215\/00294527-2008-028","volume":"50","author":"A. Visser","year":"2009","unstructured":"Visser A.: Growing commas\u2014a study of sequentiality and concatenation. Notre Dame J. Formal Log. 50(1), 61\u201385 (2009)","journal-title":"Notre Dame J. Formal Log."},{"key":"391_CR22","unstructured":"Visser, A.: Why the theory $${\\mathsf{R}}$$ R is special. Logic Group Preprint Series 267, Department of Philosophy, Utrecht University (2009)"},{"key":"391_CR23","unstructured":"Yoshida, O.: Interpretation between variations of $${\\mathsf{WTC} }$$ WTC (in Japanes), Feb. 2012. Master\u2019s Thesis, Tohoku University, February 2012"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0391-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-014-0391-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-014-0391-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:20:23Z","timestamp":1746307223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-014-0391-x"}},"subtitle":["An encounter of $${\\mathsf{WTC}}$$ WTC and $${\\mathsf{S2S}}$$ S 2 S"],"short-title":[],"issued":{"date-parts":[[2014,7,19]]},"references-count":23,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["391"],"URL":"https:\/\/doi.org\/10.1007\/s00153-014-0391-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2014,7,19]]}}}