THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
From MaRDI portal
Publication:5065132
DOI10.1017/S1755020318000242MaRDI QIDQ5065132
Øystein Linnebo, Joel David Hamkins
Publication date: 18 March 2022
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1708.01644
Modal logic (including the logic of norms) (03B45) Models of arithmetic and set theory (03C62) Set theory (03Exx)
Related Items
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE, Choiceless large cardinals and set‐theoretic potentialism, Hierarchical multiverse of sets, VARIETIES OF CLASS-THEORETIC POTENTIALISM, Mathematical modality: an investigation in higher-order logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The iterative conception of set. A (bi-)modal axiomatisation
- Structural connections between a forcing class and its modal logic
- A natural model of the multiverse axioms
- Set-theoretic geology
- The Set-theoretic Multiverse : A Natural Context for Set Theory(<Special Section>Mathematical Logic and Its Applications)
- THE SET-THEORETIC MULTIVERSE
- Moving Up and Down in the Generic Multiverse
- A simple maximality principle
- The downward directed grounds hypothesis and very large cardinals
- THE POTENTIAL HIERARCHY OF SETS
- Actual and Potential Infinity
- A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
- EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
- The modal logic of forcing