On the interpretation of non-finitist proofs: Part II. interpretation of number theory. Applications

Journal of Symbolic Logic 17 (1):43-58 (1952)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories
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: 5,701
External links
  • Through your library Configure

    Similar books and articles
    W. W. Tait (2010). Gödel on Intuition and on Hilbert's Finitism. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
    Lynne Rudder Baker (2005). Interpretation in Action: A Preliminary Inquiry. In Fernando Mão de Ferro (ed.), A Explicação da Interpretação Humana (Portuguese). Edições Colibri.
    G. Kreisel (1953). A Variant to Hilbert's Theory of the Foundations of Arithmetic. British Journal for the Philosophy of Science 4 (14):107-129.
    Ulrich Kohlenbach (1999). On the No-Counterexample Interpretation. Journal of Symbolic Logic 64 (4):1491-1511.

    Analytics

    Monthly downloads

    Added to index

    2009-01-28

    Total downloads

    14 ( #83,117 of 549,093 )

    Recent downloads (6 months)

    1 ( #63,317 of 549,093 )

    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.

    Other forums