String theory

Journal of Symbolic Logic 39 (4):625-637 (1974)
Abstract
For each $n > 0$ , 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 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 synonymous with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,360
External links
  •   Try with proxy.
  • Through your library Configure
    References found in this work BETA

    No references found.

    Citations of this work BETA
    John Corcoran (1980). Categoricity. History and Philosophy of Logic 1 (1):187-207.
    Gualtiero Piccinini (2008). Computers. Pacific Philosophical Quarterly 89 (1):32–73.

    View all 12 citations

    Similar books and articles
    Analytics

    Monthly downloads

    Added to index

    2009-01-28

    Total downloads

    57 ( #22,860 of 1,089,062 )

    Recent downloads (6 months)

    3 ( #30,944 of 1,089,062 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  are no threads in this forum
    Nothing in this forum yet.