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
Revision history
Archival date: 2014-12-03
View upload history
References found in this work BETA
Mathematical Logic.White, Morton G. & Quine, Willard Van Orman

View all 9 references / Add more references

Citations of this work BETA
Computing Mechanisms.Piccinini, Gualtiero
The Good, the Bad and the Ugly.Ebert, Philip & Shapiro, Stewart

View all 31 citations / Add more citations

Added to PP index

Total views
541 ( #7,347 of 50,238 )

Recent downloads (6 months)
50 ( #11,635 of 50,238 )

How can I increase my downloads?

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