What is forcing potentialism?

DOI10.1007/978-3-031-62387-5_11MaRDI QIDQ7234167zbMATH OpenFDO

Authors Ethan Brauer

Publication date 27 April 2026

Full work available at URL https://doi.org/10.1007/978-3-031-62387-5_11

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)

Cites work

• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• A reconstruction of Steel's multiverse project
• A simple maximality principle
• Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Translated and edited by Philip A. Ebert and Marcus Rossberg. With a foreword by Crispin Wright and an appendix by Roy T. Cook
• Boolos on the justification of set theory
• Can all things be counted?
• Conceptions of Set and the Foundations of Mathematics
• Divergent potentialism: a modal analysis with an application to choice sequences
• Gödel's program
• scientific article; zbMATH DE number 3825800 (Why is no real title available?)
• scientific article; zbMATH DE number 3528231 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 2107962 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• Indeterminateness and ``the universe of sets: multiversism, potentialism, and pluralism
• Intuitionism and formalism.
• Intuitionism. An introduction. 3rd revised ed
• Multiverse conceptions in set theory
• Naive infinitism: the case for an inconsistency approach to infinite collections
• Set-theoretic geology
• Structural connections between a forcing class and its modal logic
• Systems of predicative analysis
• The continuum hypothesis, the generic-multiverse of sets, and the conjecture
• The iterative conception of set. A (bi-)modal axiomatisation
• The modal logic of forcing
• The modal logic of potential infinity: branching versus convergent possibilities
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE POTENTIAL HIERARCHY OF SETS
• The set-theoretic multiverse
• THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE
• Transfinite recursion and computation in the iterative conception of set

This page was built for publication: What is forcing potentialism?

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