VARIETIES OF CLASS-THEORETIC POTENTIALISM

DOI10.1017/S1755020323000126arXiv2108.01543OpenAlexW3193203090MaRDI QIDQ6131234FDOQ6131234

Authors: Neil Barton, Kameryn J. Williams 

Publication date: 4 April 2024

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

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.

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)

Cites Work

• Subsystems of second order arithmetic
• Classes and truths in set theory
• The absolute arithmetic continuum and the unification of all numbers great and small
• Predicative foundations of arithmetic
• Title not available (Why is that?)
• Elementary embeddings and infinitary combinatorics
• Pointwise definable models of set theory
• Relative predicativity and dependent recursion in second-order set theory and higher-order theories
• The modal logic of forcing
• Comparison of the axioms of local and universal choice
• Modal logic. An introduction to its syntax and semantics
• Consistency results about ordinal definability
• A simple maximality principle
• Structural connections between a forcing class and its modal logic
• The hyperuniverse program
• The set-theoretic multiverse
• THE POTENTIAL HIERARCHY OF SETS
• On elementary embeddings from an inner model to the universe
• Plurals and Complexes
• No elementary embedding from v into v is definable from parameters
• Generalizations of the Kunen inconsistency
• Challenges to predicative foundations of arithmetic
• MINIMUM MODELS OF SECOND-ORDER SET THEORIES
• Title not available (Why is that?)
• Set-theoretic blockchains
• Title not available (Why is that?)
• Sets and Classes
• Title not available (Why is that?)
• Kelley–Morse set theory does not prove the class Fodor principle
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• On the Innocence and Determinacy of Plural Quantification
• Title not available (Why is that?)
• Plural Quantification and Classes†
• Characterizations of pretameness and the Ord-cc
• THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
• Can all things be counted?
• Open determinacy for class games
• Title not available (Why is that?)
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

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)