• Corpus ID: 236881578

Varieties of class-theoretic potentialism

@inproceedings{Barton2021VarietiesOC,
  title={Varieties of class-theoretic potentialism},
  author={Neil Barton and Kameryn J. Williams},
  year={2021}
}
We explain and explore class-theoretic potentialism— the view that one can always individuate more classes over a settheoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the .2 and .3 axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialist. 

References

SHOWING 1-10 OF 38 REFERENCES

THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES

Abstract We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on

Classes and truths in set theory

THE SET-THEORETIC MULTIVERSE

  • J. Hamkins
  • Philosophy
    The Review of Symbolic Logic
  • 2012
TLDR
It is argued that the continuum hypothesis is settled on the multiverse view by the authors' extensive knowledge about how it behaves in theMultiverse, and as a result it can no longer be settled in the manner formerly hoped for.

On elementary embeddings from an inner model to the universe

TLDR
It is proved, amongst other things, the existence of such an embedding implies that the core model K is a model of “there exists a proper class of almost Ramsey cardinals”.

Open class determinacy is preserved by forcing

The principle of open class determinacy is preserved by pre-tame class forcing, and after such forcing, every new class well-order is isomorphic to a ground-model class well-order. Similarly, the

Reflecting on Absolute Infinity

This article is concerned with reflection principles in the context of Cantor’s conception of the set theoretic universe. We argue that within such a conception reflection principles can be

The modal logic of arithmetic potentialism and the universal algorithm

TLDR
For these potentialist systems, it is proved, a propositional modal assertion is valid in a model of arithmetic, with respect to assertions in the language of arithmetic with parameters, exactly when it is an assertion of S4.

Plurals and Complexes

  • Keith Hossack
  • Philosophy
    The British Journal for the Philosophy of Science
  • 2000
Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to

RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES

  • Sato Kentaro
  • Mathematics, Philosophy
    The Journal of Symbolic Logic
  • 2014
TLDR
Some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity the authors choose some mathematical entities other than the traditional ω.