• Login
    View Item 
    •   Scholars Square Home
    • F&M Scholarship
    • F&M Theses Collection
    • View Item
    •   Scholars Square Home
    • F&M Scholarship
    • F&M Theses Collection
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A Classification of Nonstandard Models of Peano Arithmetic by Goodstein’s Theorem

    Thumbnail
    View/Open
    main article (0.5 Mb)

    Date
    2012
    Author
    Kaplan, Daniel
    Metadata
    Show full item record
    Subject
     Goodstein's theorem; Mathematics; Peano arithmetic 
    Abstract
    In this paper I intend to outline a method for finding nonstandard models of Peano Arithmetic (PA) that satisfy Goodstein's theorem. Goodstein's Theorem is an interesting result because, though it is expressible completely in the language of number theory, it is nonetheless independent of the axioms of PA. I begin by rehearsing a proof of Goodstein's theorem, followed by a proof of its independence, developing the necessary tools to do so along the way. Finally, using indicator theory, I show how that can classify the nonstandard models according to Goodstein's Theorem.
    Description
    Franklin and Marshall College Archives, Undergraduate Honors Thesis 2012
    URI
    http://hdl.handle.net/11016/23900
    Collections
    • F&M Theses Collection [322]

    Browse

    All of Scholars SquareCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login
    ©2016 Franklin & Marshall College | 450 College Ave | PO Box 3003 | Lancaster, PA 17604    Facebook   Twitter   Pinterest   Instagram   Fandm
    Contact Us | Send Feedback