Set existence property for intuitionistic theories with dependent choice

DOI10.1016/0168-0072(83)90011-8MaRDI QIDQ793723zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

intuitionistic type theorycountable choiceexistence propertyrecursive realizabilityFriedman slashintuitionistic theoriesintuitionistic Zermelo set theoryintuitionistic ZFrelativized dependent choicesecond order intuitionistic arithmetic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

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

Cites work

• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• Constructive set theory
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

Cited in

(6)

• CZF does not have the existence property
• 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
• scientific article; zbMATH DE number 749939 (Why is no real title available?)
• Metamathematical properties of intuitionistic set theories with choice principles

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)