Jump to ContentJump to Main Navigation
Philosophy and Model Theory$
Users without a subscription are not able to see the full content.

Tim Button and Sean Walsh

Print publication date: 2018

Print ISBN-13: 9780198790396

Published to Oxford Scholarship Online: May 2018

DOI: 10.1093/oso/9780198790396.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 17 October 2021

Internal categoricity and the sets

Internal categoricity and the sets

Chapter:
(p.251) 11 Internal categoricity and the sets
Source:
Philosophy and Model Theory
Author(s):

Tim Button

Sean Walsh

Publisher:
Oxford University Press
DOI:10.1093/oso/9780198790396.003.0011

As the previous chapter discussed the internalist perspective on the categoricity of arithmetic, this chapter presents the internalist perspective on sets. In particular, we show both how to internalise Scott-Potter set theory its quasi-categoricity theorem, and how to internalise Zermelo’s Quasi-Categoricity Theorem. As in the case of arithmetic, this gives a non-semantic way to draw the boundary between algebraic and univocal theories. A particularly compelling case of the quasi-univocity of set theory revolves around the continuum hypothesis. Furthermore, by additionally postulating that the size of the pure sets is the same as the size of the universe, these famous quasi-categoricity results can actually be turned into internal categoricity results simpliciter, so that one has full univocity instead of mere quasi-univocity. In the appendices we prove these results, and we discuss how they relate to important work by McGee and Martin.

Keywords:   Internal quasi-categoricity, quasi-intolerance, The Continuum Hypothesis, indefinite extensibility, McGee’s Theorem, Martin on quasi-categoricity, Scott-Potter Set Theory

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .