Replacement and collection in intuitionistic set theory

DOI10.2307/2274220zbMATH Open0585.03026OpenAlexW2132634181MaRDI QIDQ3710522FDOQ3710522

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

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

zbMATH Keywords

ZFZFIproof-theoretical equivalence

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• In praise of replacement
• On adopting Kripke semantics in set theory
• A note on the schemes of replacement and collection
• Normalization of IZF with Replacement
• Title not available (Why is that?)
• 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)