Translator Disclaimer
March 2009 Arithmetic on semigroups
Mihai Ganea
J. Symbolic Logic 74(1): 265-278 (March 2009). DOI: 10.2178/jsl/1231082312

Abstract

Relations between some theories of semigroups (also known as theories of strings or theories of concatenation) and arithmetic are surveyed. In particular Robinson's arithmetic Q is shown to be mutually interpretable with TC, a weak theory of concatenation introduced by Grzegorczyk. Furthermore, TC is shown to be interpretable in the theory F studied by Tarski and Szmielewa, thus confirming their claim that F is essentially undecidable.

Citation

Download Citation

Mihai Ganea. "Arithmetic on semigroups." J. Symbolic Logic 74 (1) 265 - 278, March 2009. https://doi.org/10.2178/jsl/1231082312

Information

Published: March 2009
First available in Project Euclid: 4 January 2009

zbMATH: 1160.03038
MathSciNet: MR2499430
Digital Object Identifier: 10.2178/jsl/1231082312

Rights: Copyright © 2009 Association for Symbolic Logic

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.74 • No. 1 • March 2009
Back to Top