The potential hierarchy of sets

Review of Symbolic Logic 6 (2):205-228 (2013)
  Copy   BIBTEX

Abstract

Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020313000014

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.
The iterative conception of set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
Bounded query classes and the difference hierarchy.Richard Beigel, William I. Gasarch & Louise Hay - 1989 - Archive for Mathematical Logic 29 (2):69-84.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
On Genericity and Ershov's Hierarchy.Amy Gale & Rod Downey - 2001 - Mathematical Logic Quarterly 47 (2):161-182.
Characterizations of the class ~2^t^a over Euclidean spaces.Armin Hemmerling - 2004 - Mathematical Logic Quarterly 50 (4):507.
Groundedness - Its Logic and Metaphysics.Jönne Kriener - 2014 - Dissertation, Birkbeck College, University of London
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.Wim Veldman - 2008 - Journal of Symbolic Logic 73 (1):1-64.
Two simple sets that are not positively Borel.Wim Veldman - 2005 - Annals of Pure and Applied Logic 135 (1-3):151-209.
Sets without Subsets of Higher Many-One Degree.Patrizio Cintioli - 2005 - Notre Dame Journal of Formal Logic 46 (2):207-216.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
The discrete parts of approximately decidable sets in Euclidean spaces.Armin Hemmerling - 2003 - Mathematical Logic Quarterly 49 (4):428.
Monotone reducibility and the family of infinite sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Immunity and Hyperimmunity for Sets of Minimal Indices.Frank Stephan & Jason Teutsch - 2008 - Notre Dame Journal of Formal Logic 49 (2):107-125.

Analytics

Added to PP
2015-02-06

Downloads
361 (#55,828)

6 months
39 (#97,807)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Øystein Linnebo
University of Oslo

Citations of this work

Modal science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.

View all 87 citations / Add more citations

References found in this work

Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.
Our knowledge of mathematical objects.Kit Fine - 2005 - In Tamar Szabó Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology. Oxford University Press. pp. 89-109.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.

View all 16 references / Add more references