Independence results around constructive ZF

DOI10.1016/J.APAL.2004.08.002zbMath1068.03045arXiv1510.00465OpenAlexW2963036596MaRDI QIDQ1765158

Robert S. Lubarsky

Publication date: 23 February 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00465

zbMATH Keywords

exponentiationKripke modelpower setintuitionistic set theorysubset collection

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (15)

Binary refinement implies discrete exponentiation ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS ⋮ Realizability Models Separating Various Fan Theorems ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ A cumulative hierarchy of sets for constructive set theory ⋮ On constructing completions ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY ⋮ Kripke models for subtheories of \textsf{CZF} ⋮ CZF and second order arithmetic ⋮ On the constructive Dedekind reals ⋮ SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II ⋮ The generalised type-theoretic interpretation of constructive set theory ⋮ Lawvere–Tierney sheaves in Algebraic Set Theory

Cites Work

• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• The strength of some Martin-Löf type theories
• CZF and second order arithmetic
• Constructive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Independence results around constructive ZF