VARIETIES OF CLASS-THEORETIC POTENTIALISM

DOI10.1017/S1755020323000126OpenAlexW3193203090MaRDI QIDQ6131234FDOQ6131234

Authors Neil Barton, Kameryn J. Williams

Publication date 4 April 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.01543

zbMATH Keywords

class theorytruth predicatespotentialism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Nonclassical and second-order set theories (03E70)

Abstract: We explain and explore class-theoretic potentialism -- the view that one can always individuate more classes over a set-theoretic 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.

Cites work

• scientific article; zbMATH DE number 3887672 (Why is no real title available?)
• scientific article; zbMATH DE number 3528231 (Why is no real title available?)
• scientific article; zbMATH DE number 3529846 (Why is no real title available?)
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• A reconstruction of Steel's multiverse project
• A simple maximality principle
• Can all things be counted?
• Challenges to predicative foundations of arithmetic
• Characterizations of pretameness and the Ord-cc
• Class forcing, the forcing theorem and Boolean completions
• Classes and truths in set theory
• Comparison of the axioms of local and universal choice
• Consistency results about ordinal definability
• Elementary embeddings and infinitary combinatorics
• Generalizations of the Kunen inconsistency
• Gödel's program
• Indeterminateness and ``the universe of sets: multiversism, potentialism, and pluralism
• Kelley–Morse set theory does not prove the class Fodor principle
• Minimum models of second-order set theories
• Modal logic. An introduction to its syntax and semantics
• No elementary embedding from v into v is definable from parameters
• On elementary embeddings from an inner model to the universe
• On the innocence and determinacy of plural quantification
• Open determinacy for class games
• Plural Quantification and Classes†
• Plurals and Complexes
• Pointwise definable models of set theory
• Predicative foundations of arithmetic
• Relative predicativity and dependent recursion in second-order set theory and higher-order theories
• Set-theoretic blockchains
• Sets and Classes
• Structural connections between a forcing class and its modal logic
• Subsystems of second order arithmetic
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE POTENTIAL HIERARCHY OF SETS
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• The absolute arithmetic continuum and the unification of all numbers great and small
• The exact strength of the class forcing theorem
• The hyperuniverse program
• The modal logic of forcing
• The set-theoretic multiverse

This page was built for publication: VARIETIES OF CLASS-THEORETIC POTENTIALISM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6131234)