THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES

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

zbMATH Keywords

modal logicmodels of set theorypotentialism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models of arithmetic and set theory (03C62) Set theory (03Exx)

Related Items

THE Σ₁-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