Replacement and collection: a correction

DOI10.2307/2274056MaRDI QIDQ3754614zbMATH OpenOpenAlexFDO

Authors Nicolas D. Goodman

Publication date 1986

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

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

zbMATH Keywords

intuitionistic set theoryproof-theoretical equivalenceZFZFI

Mathematics Subject Classification ID

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

Cited in

(1)

• A note on the schemes of replacement and collection

This page was built for publication: Replacement and collection: a correction

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