Set existence property for intuitionistic theories with dependent choice
DOI10.1016/0168-0072(83)90011-8zbMATH Open0539.03039OpenAlexW2074713441MaRDI QIDQ793723FDOQ793723
Authors: Harvey M. Friedman, Andre Scedrov 
Publication date: 1983
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(83)90011-8
Recommendations
- From the weak to the strong existence property
- Metamathematical properties of intuitionistic set theories with choice principles
- CZF does not have the existence property
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- scientific article; zbMATH DE number 749939
intuitionistic type theorycountable choiceexistence propertyrecursive realizabilityFriedman slashintuitionistic theoriesintuitionistic Zermelo set theoryintuitionistic ZFrelativized dependent choicesecond order intuitionistic arithmetic
Cites Work
- Constructive set theory
- Title not available (Why is that?)
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Title not available (Why is that?)
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
Cited In (6)
- From the weak to the strong existence property
- Axiom ``collection independence of ``DC principle in intuitionistic set theory
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Title not available (Why is that?)
- Metamathematical properties of intuitionistic set theories with choice principles
- CZF does not have the existence property
This page was built for publication: Set existence property for intuitionistic theories with dependent choice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q793723)
