BIROn - Birkbeck Institutional Research Online

    Comparing Peano arithmetic, Basic Law V, and Hume’s Principle

    Walsh, Sean (2012) Comparing Peano arithmetic, Basic Law V, and Hume’s Principle. Annals of Pure and Applied Logic 163 (11), pp. 1679-1709. ISSN 0168-0072.

    Full text not available from this repository.

    Abstract

    This paper presents new constructions of models of Hume’s Principle and Basic Law V with restricted amounts of comprehension. The techniques used in these constructions are drawn from hyperarithmetic theory and the model theory of fields, and formalizing these techniques within various subsystems of second-order Peano arithmetic allows one to put upper and lower bounds on the interpretability strength of these theories and hence to compare these theories to the canonical subsystems of second-order arithmetic. The main results of this paper are: (i) there is a consistent extension of the hypearithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic, and (ii) the hyperarithmetic fragment of Hume’s Principle does not interpret the hyperarithmetic fragment of second-order Peano arithmetic, so that in this specific sense there is no predicative version of Frege’s Theorem.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Second-order arithmetic, Basic Law V, Hume’s Principle, Hyperarithmetic, Recursively saturated, Interpretability
    School: Birkbeck Faculties and Schools > Faculty of Humanities and Social Sciences > School of Historical Studies
    Depositing User: Administrator
    Date Deposited: 16 Jan 2012 12:06
    Last Modified: 02 Aug 2023 16:57
    URI: https://eprints.bbk.ac.uk/id/eprint/4556

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    237Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item