Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961)

The aim of the paper is to apply methods from the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. In particular, methods from hyperarithmetic theory are used to build models of subsystems of Basic Law V and recursively saturated models, and ideas from the model theory of fields are applied to build models of subsystems of Hume's Principle and Basic Law V. The primary application of these new constructions is to compare the interpretability strength of the subsystems of second-order Peano arithmetic to the subsystems of Basic Law V and Hume's Principle. The main results of the paper are: (1) There is a consistent extension of the hyperarithmetic fragment of Basic Law V which interprets the hyperarithmetic fragment of second-order Peano arithmetic. (2) 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.