VARIETIES OF CLASS-THEORETIC POTENTIALISM

DOI10.1017/s1755020323000126arXiv2108.01543OpenAlexW3193203090MaRDI QIDQ6131234

Kameryn J. Williams, Neil Barton

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Structural connections between a forcing class and its modal logic
• Generalizations of the Kunen inconsistency
• Predicative foundations of arithmetic
• Can all things be counted?
• Set-theoretic blockchains
• Characterizations of pretameness and the Ord-cc
• On elementary embeddings from an inner model to the universe
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• On the Innocence and Determinacy of Plural Quantification
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• A simple maximality principle
• Elementary embeddings and infinitary combinatorics
• Plurals and Complexes
• Plural Quantification and Classes†
• Pointwise definable models of set theory
• THE POTENTIAL HIERARCHY OF SETS
• No elementary embedding from v into v is definable from parameters
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• Kelley–Morse set theory does not prove the class Fodor principle
• MINIMUM MODELS OF SECOND-ORDER SET THEORIES
• Sets and Classes
• Open determinacy for class games
• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• The modal logic of forcing
• Consistency results about ordinal definability
• Comparison of the axioms of local and universal choice
• THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
• A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

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