String theory

Journal of Symbolic Logic 39 (4):625-637 (1974)
Download Edit this record How to cite View on PhilPapers
For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories
PhilPapers/Archive ID
Upload history
Archival date: 2014-12-03
View other versions
Added to PP index

Total views
647 ( #9,134 of 64,215 )

Recent downloads (6 months)
38 ( #20,316 of 64,215 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.