Generalizing boolos’ theorem

Review of Symbolic Logic 10 (1):80-91 (2017)
  Copy   BIBTEX


It’s well known that it’s possible to extract, from Frege’s Grudgesetze, an interpretation of second-order Peano Arithmetic in the theory  HP2, whose sole axiom is Hume’s principle. What’s less well known is that, in Die Grundlagen Der Arithmetic §82–83 Boolos (2011), George Boolos provided a converse interpretation of HP2 in PA2 . Boolos’ interpretation can be used to show that the Frege’s construction allows for any model of PA2 to be recovered from some model of HP2. So the space of possible arithmetical universes is precisely characterized by Hume’s principle. In this paper, I show that a large class of second-order theories admit characterization by an abstraction principle in this sense. The proof makes use of structural abstraction principles, a class of abstraction principles of considerable intrinsic interest, and categories of interpretations in the sense of Visser (2003).



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the proof of Frege's theorem.George Boolos - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 143--59.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Erratum: Frege's Theorem and the Peano Postulates.George Boolos - 1996 - Bulletin of Symbolic Logic 2 (1):126-126.
A proof of the Löwenheim-Skolem theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
A representation theorem for co-diagonalizable algebras.Jacek Hawranek - 1985 - Bulletin of the Section of Logic 14 (3):124-125.
Generalizing Morley's Theorem.Tapani Hyttinen - 1998 - Mathematical Logic Quarterly 44 (2):176-184.
Generalizing Kruskal’s theorem to pairs of cohabitating trees.Timothy Carlson - 2016 - Archive for Mathematical Logic 55 (1-2):37-48.


Added to PP

47 (#324,970)

6 months
10 (#226,679)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Leach-Krouse
Kansas State University

Citations of this work

No citations found.

Add more citations

References found in this work

Frege’s Theorem: An Introduction.Richard G. Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Logic, Logic, and Logic.Vann McGee - 2001 - Bulletin of Symbolic Logic 7 (1):58-62.

Add more references