Replacement and collection in intuitionistic set theory

DOI10.2307/2274220MaRDI QIDQ3710522zbMATH OpenOpenAlexFDO

Authors Nicolas D. Goodman

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274220

zbMATH Keywords

ZFZFIproof-theoretical equivalence

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Recommendations

• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• Normalization of IZF with Replacement
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• scientific article; zbMATH DE number 3841848

Cites work

• The consistency of classical set theory relative to a set theory with intu1tionistic logic

Cited in

(10)

• Axiom ``collection independence of ``DC principle in intuitionistic set theory
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• On adopting Kripke semantics in set theory
• In praise of replacement
• A note on the schemes of replacement and collection
• Normalization of IZF with Replacement
• scientific article; zbMATH DE number 3841848 (Why is no real title available?)
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas
• Large sets in intuitionistic set theory

This page was built for publication: Replacement and collection in intuitionistic set theory

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