CAN MODALITIES SAVE NAIVE SET THEORY?

DOI10.1017/S1755020317000168OpenAlexW2550976738MaRDI QIDQ4637947

Harvey Lederman, Peter Fritz, Tiankai Liu, Dana S. Scott

Publication date: 3 May 2018

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

Full work available at URL: https://doi.org/10.1017/s1755020317000168

zbMATH Keywords

modal logicset theorynaive comprehension

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The iterative conception of set. A (bi-)modal axiomatisation
• Intensional mathematics
• Topological models of epistemic set theory
• Provability interpretations of modal logic
• Model theory for modal logic. II: The elimination of de re modality
• Prospects for a naive theory of classes
• Higher-order contingentism. I: Closure and generation
• A simple maximality principle
• A completeness theorem in modal logic
• Infinitary combinatorics and modal logic
• Toward useful type-free theories. I
• A Possible Modal Formulation of Comprehension Scheme
• Some Results and Problems in The Modal Set Theory MST
• Outline of a Theory of Truth
• THE POTENTIAL HIERARCHY OF SETS
• First-Order Modal Theories I--Sets
• The system CΔ of combinatory logic
• The modal logic of forcing
• Modal Logic as Metaphysics
• A complete and consistent modal set theory
• Correction to a paper on modal set theory
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• An extension of basic logic
• Extensions of the Lewis system S5
• A basic logic