Weak Theories of Concatenation and Arithmetic
Yoshihiro Horihata
Source: Notre Dame J. Formal Logic Volume 53, Number 2
(2012), 203-222.
Abstract
We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.
First Page:
Show
Hide
Primary Subjects:
03F25
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1336588251
Digital Object Identifier: doi:10.1215/00294527-1715698
Mathematical Reviews number (MathSciNet): MR2925278
Zentralblatt MATH identifier: 06054426
References
Čačić, V., P. Pudlák, G. Restall, A. Urquhart, and A. Visser, "Decorated linear order types and the theory of concatenation", pp. 1–13 in Logic Colloquium 2007, edited by F. Delon, U. Kohlenbach, P. Maddy, and F. Stephan, vol. 35 of Lecture Notes in Logic, Association for Symbolic Logic, La Jolla, 2010.
Mathematical Reviews (MathSciNet): MR2668225
Zentralblatt MATH: pre05859843
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.
URL: Link to item
Ganea, M., "Arithmetic on semigroups", The Journal of Symbolic Logic, vol. 74 (2009), pp. 265–78.
Mathematical Reviews (MathSciNet): MR2499430
Zentralblatt MATH: 1160.03038
Digital Object Identifier: doi:10.2178/jsl/1231082312
Project Euclid: euclid.jsl/1231082312
Grzegorczyk, A., "Undecidability without arithmetization", Studia Logica, vol. 79 (2005), pp. 163–230.
Mathematical Reviews (MathSciNet): MR2135033
Zentralblatt MATH: 1080.03004
Digital Object Identifier: doi:10.1007/s11225-005-2976-1
Grzegorczyk, A., and K. Zdanowski, "Undecidability and concatenation", pp. 72–91 in Andrzej Mostowski and Foundational Studies, edited by A. Ehrenfeucht, V. W. Marek, and M. Srebrny, IOS, Amsterdam, 2008.
Mathematical Reviews (MathSciNet): MR2422681
Zentralblatt MATH: 1150.03014
Hájek, P., and P. Pudlák, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1993.
Mathematical Reviews (MathSciNet): MR1219738
Zentralblatt MATH: 0781.03047
Jones, J. P., and J. C. Shepherdson, "Variants of Robinson's essentially undecidable theory ${\rm R}$", Archiv für mathematische Logik und Grundlagenforschung, vol. 23 (1983), pp. 61–64.
Mathematical Reviews (MathSciNet): MR710365
Zentralblatt MATH: 0511.03015
Digital Object Identifier: doi:10.1007/BF02023013
Lindström, P., Aspects of Incompleteness, vol. 10 of Lecture Notes in Logic, Springer-Verlag, Berlin, 1997.
Mathematical Reviews (MathSciNet): MR1473222
Zentralblatt MATH: 0882.03054
Nelson, E., Predicative Arithmetic, vol. 32 of Mathematical Notes, Princeton University Press, Princeton, 1986.
Mathematical Reviews (MathSciNet): MR869999
Zentralblatt MATH: 0617.03002
Quine, W. V., "Concatenation as a basis for arithmetic", The Journal of Symbolic Logic, vol. 11 (1946), pp. 105–14.
Mathematical Reviews (MathSciNet): MR0018618
Zentralblatt MATH: 0063.06362
Digital Object Identifier: doi:10.2307/2268308
Solovay, R. M., "Interpretability in set theories", (1976). unpublished letter to P. H$\Acute{}$jek, www.cs.cas.cz/hajek/RSolovayZFGB.pdf.
Mathematical Reviews (MathSciNet): MRa
Sterken, R., Concatenation as a basis for $\QQ$ and the intuitionistic variant of Nelson's classic result, Ph.D. thesis, Universiteit van Amsterdam, 2008.
Švejdar, V., "Relatives of Robinson Arithmetic", pp. 253–63 in The Logica Yearbook 2008: Proceedings of the Logica 08 International Conference, 2009.
Mathematical Reviews (MathSciNet): MR2933787
Švejdar, V., "Degrees of interpretability", Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), pp. 789–813.
Mathematical Reviews (MathSciNet): MR518190
Zentralblatt MATH: 0407.03020
Švejdar, V., "An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant", Fundamenta Informaticae, vol. 81 (2007), pp. 347–54.
Mathematical Reviews (MathSciNet): MR2372699
Zentralblatt MATH: 1135.03023
Švejdar, V., "On interpretability in the theory of concatenation", Notre Dame Journal of Formal Logic, vol. 50 (2009), pp. 87–95.
Mathematical Reviews (MathSciNet): MR2536702
Zentralblatt MATH: 1190.03051
Digital Object Identifier: doi:10.1215/00294527-2008-029
Project Euclid: euclid.ndjfl/1232375164
Tarski, A., A. Mostowski, and R. M. Robinson, Undecidable Theories, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam, 1953.
Mathematical Reviews (MathSciNet): MR0244048
Zentralblatt MATH: 0053.00401
Tarski, A., "The concept of truth in formalized languages. (Der Wahrheitsbegriff in den formalisierten Sprachen)", Studia Philosophica, vol. 1 (1935), pp. 261–405.
Zentralblatt MATH: 0013.28903
Vaught, R. L., "On a theorem of Cobham concerning undecidable theories", pp. 14–25 in Logic, Methodology and Philosophy of Science (Proceedings 1960 International Congress), edited by E. Nagel, P. Suppes, and A. Tarski, Stanford University Press, Stanford, 1962.
Mathematical Reviews (MathSciNet): MR0156788
Zentralblatt MATH: 0178.32303
Visser, A., "An overview of interpretability logic", pp. 307–59 in Advances in Modal Logic, Vol. 1 (AiML'96, Berlin), edited by M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, vol. 87 of CSLI Lecture Notes, CSLI Publications, Stanford, 1998.
Mathematical Reviews (MathSciNet): MR1688529
Zentralblatt MATH: 0915.03020
Visser, A., "Growing commas. A study of sequentiality and concatenation", Notre Dame Journal of Formal Logic, vol. 50 (2009), pp. 61–85.
Mathematical Reviews (MathSciNet): MR2536701
Zentralblatt MATH: 1190.03052
Digital Object Identifier: doi:10.1215/00294527-2008-028
Project Euclid: euclid.ndjfl/1232375163
Visser, A., "Why the theory $\mathsf{R}$ is special", Logic Group Preprint Series 267, Department of Philosophy, Utrecht University, 2009.
Notre Dame Journal of Formal Logic
