ON ADOPTING KRIPKE SEMANTICS IN SET THEORY

DOI10.1017/S1755020308080088zbMath1204.03053MaRDI QIDQ3580661

Luca Incurvati

Publication date: 13 August 2010

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

zbMATH Keywords

Kripke semantics; intuitionistic logic; axiomatization; intuitionistic semantics; logic of set theory

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03E99: Set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• The Gentzen-Kripke construction of the intermediate logic LQ
• Constructivism in mathematics. An introduction. Volume II
• The continuum hypothesis is independent of second order ZF
• Informal axiomatization, formalization and the concept of truth
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The open-endedness of the set concept and the semantics of set theory
• Independence results around constructive ZF
• A propositional calculus with denumerable matrix
• Boolos on the justification of set theory
• Replacement and collection in intuitionistic set theory
• Constructive set theory
• Axiom of Choice and Complementation
• A completeness theorem for Zermelo-Fraenkel set theory
• Choice Implies Excluded Middle
• Choice Principles and Constructive Logics†
• Set Theory
• First-Order Modal Theories I--Sets