{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T05:11:41Z","timestamp":1726117901007},"reference-count":40,"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-028","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T14:26:27Z","timestamp":1232375187000},"source":"Crossref","is-referenced-by-count":28,"title":["Growing Commas. A Study of Sequentiality and Concatenation"],"prefix":"10.1215","volume":"50","author":[{"given":"Albert","family":"Visser","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] B\u00fcchi, J. R., and S. Senger, \"Coding in the existential theory of concatenation\", Archiv f\u00fcr mathematische Logik und Grundlagenforschung<\/i>, vol. 26 (1986), pp. 101--106.","DOI":"10.1007\/BF02017493"},{"key":"2","unstructured":"[2] Buss, S. R., Bounded Arithmetic<\/i>, vol. 3 of Studies in Proof Theory. Lecture Notes<\/i>, Bibliopolis, Naples, 1986."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Collins, G. E., and J. D. Halpern, \"On the interpretability of arithmetic in set theory\", Notre Dame Journal of Formal Logic<\/i>, vol. 11 (1970), pp. 477--83.","DOI":"10.1305\/ndjfl\/1093894080"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Corcoran, J., W. Frank, and M. Maloney, \"String theory\", The Journal of Symbolic Logic<\/i>, vol. 39 (1974), pp. 625--37.","DOI":"10.2307\/2272846"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] de Bouv\u00e8re, K. L., \"Logical synonymity\", Indagationes Mathematicae<\/i>, vol. 27 (1965), pp. 622--29.","DOI":"10.1016\/S1385-7258(65)50063-9"},{"key":"7","unstructured":"[7] de Bouv\u00e8re, K. L., \"Synonymous theories\", pp. 402--406 in Theory of Models. Proceedings of the 1963 International Symposium (Berkeley)<\/i>, edited by J. W. Addison, L. Henkin, and A. Tarski, North-Holland Publishing Co., Amsterdam, 1965."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Ferreira, F., \"Polynomial time computable arithmetic\", pp. 137--56 in Logic and Computation (Pittsburgh, PA<\/i>, 1987), edited by W. Sieg, vol. 106 of Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 1990.","DOI":"10.1090\/conm\/106\/1057819"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Grzegorczyk, A., \"Undecidability without arithmetization\", Studia Logica<\/i>, vol. 79 (2005), pp. 163--230.","DOI":"10.1007\/s11225-005-2976-1"},{"key":"14","unstructured":"[14] Grzegorczyk, A., and K. Zdanowski, \"Undecidability and concatenation\", pp. 72--91 in Andrzej Mostowski and Foundational Studies<\/i>, edited by A. Ehrenfeucht, V. W. Marek, and M. Srebrny, IOS, Amsterdam, 2008."},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] H\u00e1jek, P., and P. Pudl\u00e1k, Metamathematics of First-order Arithmetic<\/i>, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/978-3-662-22156-3"},{"key":"16","unstructured":"[16] Hermes, H., Semiotik. Eine Theorie der Zeichengestalten als Grundlage f\u00fcr Untersuchungen von formalisierten Sprachen<\/i>, vol. 5 of Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Neue Folge<\/i>, S. Hirzel, Leipzig, 1938."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Joosten, J. J., and A. Visser, \"The interpretability logic of all reasonable arithmetical theories. The new conjecture\", Erkenntnis<\/i>, vol. 53 (2000), pp. 3--26.","DOI":"10.1023\/A:1005657917054"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Montagna, F., and A. Mancini, \"A minimal predicative set theory\", Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 186--203.","DOI":"10.1305\/ndjfl\/1094061860"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Mycielski, J., P. Pudl\u00e1k, and A. S. Stern, A Lattice of Chapters of Mathematics (Interpretations between Theorems)<\/i>, vol. 426 of Memoirs of the American Mathematical Society<\/i>, American Mathematical Society, Providence, 1990.","DOI":"10.1090\/memo\/0426"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Nelson, E., Predicative Arithmetic<\/i>, vol. 32 of Mathematical Notes<\/i>, Princeton University Press, Princeton, 1986.","DOI":"10.1515\/9781400858927"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Pudl\u00e1k, P., \"Some prime elements in the lattice of interpretability types\", Transactions of the American Mathematical Society<\/i>, vol. 280 (1983), pp. 255--75.","DOI":"10.2307\/1999613"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] Pudl\u00e1k, P., \"Cuts, consistency statements and interpretations\", The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 423--41.","DOI":"10.2307\/2274231"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Quine, W. V., \"Concatenation as a basis for arithmetic\", The Journal of Symbolic Logic<\/i>, vol. 11 (1946), pp. 105--14.","DOI":"10.2307\/2268308"},{"key":"24","unstructured":"[24] Smory\u0144ski, C., \"Nonstandard models and related developments\", pp. 179--229 in Harvey Friedman's Research on the Foundations of Mathematics<\/i>, edited by L. A. Harrington, M. D. Morley, A. Scedrov, and S. G. Simpson, vol. 117 of Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1985."},{"key":"28","unstructured":"[28] Tarski, A., \"Der Wahrheitsbegriff in den formalisierten Sprachen\", Studia Philosophica<\/i>, vol. 1 (1935), pp. 261--405. Reprinted as [tars:conc56?]. Translation of the Polish Poj\u0119<\/i>ie prawdy w j\u0119zykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, Wydzia\u0142 III matematyczno-fizycznych, no. 34, Warsaw 1933."},{"key":"29","unstructured":"[29] Tarski, A., 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":"30","unstructured":"[30] Tarski, A., \"The concept of truth in formalised languages\", pp. 152--278 in Logic, Semantics, Metamathematics. Papers from 1923 to 1938<\/i>, The Clarendon Press, Oxford, 1956. Translated by J. H. Woodger. This paper is a translation of [tars:wahr35?]."},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] Thatcher, J. W., \"Decision problems for multiple successor arithmetics\", The Journal of Symbolic Logic<\/i>, vol. 31 (1966), pp. 182--90.","DOI":"10.2307\/2269809"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Visser, A., \"Interpretability logic\", pp. 175--209 in Mathematical Logic. Proceedings of the Heyting 1988 Summer School (Chaika, 1988)<\/i>, edited by P. P. Petkov, Plenum Press, Boston, 1990.","DOI":"10.1007\/978-1-4613-0609-2_13"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] Visser, A., \"An inside view of $\\rm EXP$\"; or, The closed fragment of the provability logic of $\\rm I\\Lambda\\sb 0+\\Omega\\sb 1$ with a propositional constant for $\\rm EXP$, The Journal of Symbolic Logic<\/i>, vol. 57 (1992), pp. 131--65.","DOI":"10.2307\/2275181"},{"key":"35","doi-asserted-by":"publisher","unstructured":"[35] Visser, A., \"The unprovability of small inconsistency. A study of local and global interpretability\", Archive for Mathematical Logic<\/i>, vol. 32 (1993), pp. 275--98.","DOI":"10.1007\/BF01387407"},{"key":"36","unstructured":"[36] Visser, A., \"An overview of interpretability logic\", pp. 307--59 in Advances in Modal Logic I (AiML<\/i>'96, Berlin), edited by M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, vol. 87 of CSLI Lecture Notes<\/i>, CSLI Publications, Stanford, 1998."},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Visser, A., \"Faith & falsity. A study of faithful interpretations and false $\\Sigma^0_1$-sentences\", Annals of Pure and Applied Logic<\/i>, vol. 131 (2005), pp. 103--31.","DOI":"10.1016\/j.apal.2004.04.008"},{"key":"38","doi-asserted-by":"crossref","unstructured":"[38] Visser, A., \"Categories of theories and interpretations\", pp. 284--341 in Logic in Tehran. Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic (October, 2003)<\/i>, edited by A. Enayat, I. Kalantari, and M. Moniri, vol. 26 of Lecture Notes in Logic<\/i>, A. K. Peters, Ltd., Wellesley, 2006.","DOI":"10.1017\/9781316755747.019"},{"key":"39","doi-asserted-by":"publisher","unstructured":"[39] Visser, A., \"Pairs, sets and sequences in first-order theories\", Archive for Mathematical Logic<\/i>, vol. 47 (2008), pp. 299--326.","DOI":"10.1007\/s00153-008-0087-1"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Zambella, D., \"Notes on polynomially bounded arithmetic\", The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 942--66.","DOI":"10.2307\/2275794"},{"key":"10","unstructured":"[10] Ferreira, G., and I. Oitavem, \"An interpretation of $S\\sp 1\\sb 2$\" in $\\Sigma\\sp b\\sb 1$-NIA, Portugaliae Mathematica. Nova S\u00e9rie<\/i>, vol. 63 (2006), pp. 427--50."},{"key":"5","unstructured":"[5] \u010ca\u010di\u0107, V., P. Pudl\u00e1k, G. Restall, A. Urquhart, and A. Visser, \"Decorated linear order types and the theory of concatenation\", Logic Group Preprint Series 258, Department of Philosophy, Utrecht University, Utrecht, 2007."},{"key":"8","unstructured":"[8] Ferreira, F., Polynomial Time Computable Arithmetic and Conservative Extensions<\/i>, Ph.D. thesis, The Pennsylvania State University, State College, 1988."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Friedman, H., ``The inevitability of logical strength: Strict reverse mathematics,'' forthcoming in Logic Colloquium 2006<\/i>, vol. 32 of Lecture Notes in Logic<\/i>, edited by B. Cooper, H. Geuvers, A. Pillay, and J. V\u00e4\u00e4n\u00e4nen, Cambridge University Press,Cambridge, 2009.","DOI":"10.1017\/CBO9780511605321.008"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Ganea, M., \"Arithmetic on semigroups\", The Journal of Symbolic Logic<\/i>, vol. 74 (2009), pp. 265--78.","DOI":"10.2178\/jsl\/1231082312"},{"key":"25","unstructured":"[25] Solovay, R. M., \"Interpretability in set theories\", unpublished letter to P. H\u00e1jek, http:\/\/www.cs.cas.cz\/~ha% jek\/RSolovayZFGB.pdf, Aug. 17, 1976."},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] \u0160vejdar, V., \"On interpretability in the theory of concatenation\", Notre Dame Journal of Formal Logic<\/i>, vol. 50 (2009), pp. 87--95.","DOI":"10.1215\/00294527-2008-029"},{"key":"27","unstructured":"[27] Szmielew, W., and A. Tarski, \"Mutual interpretability of some essentially undecidable theories\", Proceedings of the International Congress of Mathematicians. Vol. 1 (Cambridge, Massachusetts, 1950)<\/i>, American Mathematical Society, Providence, 1950."},{"key":"32","unstructured":"[32] Visser, A., O. de Moor, and M. J. Walsteijn, \"How to prove the first and the second incompleteness theorem using concatenation\", Technical Report RUU-CS-86-15, Department of Computer Science, Utrecht University, Utrecht, 1986."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:13Z","timestamp":1706648233000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-1\/Growing-Commas-A-Study-of-Sequentiality-and-Concatenation\/10.1215\/00294527-2008-028.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":40,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-028","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}