# 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

- PhilosophyThe Review of Symbolic Logic
- 2019

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…

### THE SET-THEORETIC MULTIVERSE

- PhilosophyThe Review of Symbolic Logic
- 2012

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

- MathematicsJournal of Symbolic Logic
- 2001

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

- Environmental Science, Mathematics
- 2018

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

- Philosophy
- 2016

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

- Philosophy, Computer Science
- 2018

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

- PhilosophyThe 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

- Mathematics, PhilosophyThe Journal of Symbolic Logic
- 2014

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 ω.