Kripke models for subtheories of \textsf{CZF}

DOI10.1007/S00153-009-0164-0MaRDI QIDQ2267746zbMATH OpenOpenAlexFDO

Authors Rosalie Iemhoff

Publication date 2 March 2010

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s00153-009-0164-0

zbMATH Keywords

constructible setsconstructive set theorygeneric extensionsKripke models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

Recommendations

• Independence results around constructive ZF
• Kripke submodels and universal sentences
• IKP and friends
• Constructive toposes with countable sums as models of constructive set theory
• Kripke models for classical logic

Cites work

• Characterizing the interpretation of set theory in Martin-Löf type theory
• Constructive set theory
• CZF and second order arithmetic
• Heyting-valued interpretations for constructive set theory
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• Independence results around constructive ZF
• Realizability. An introduction to its categorical side
• Set theory. An introduction to independence proofs
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Cited in

(7)

• Independence results around constructive ZF
• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• Logics of intuitionistic Kripke-Platek set theory
• A semantic approach to conservativity
• IKP and friends
• Constructive toposes with countable sums as models of constructive set theory
• On the Constructive Dedekind Reals: Extended Abstract

This page was built for publication: Kripke models for subtheories of \textsf{CZF}

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