Replacement and collection: a correction

DOI10.2307/2274056zbMath0618.03026OpenAlexW4237076774MaRDI QIDQ3754614

Nicolas D. Goodman

Publication date: 1986

Published in: Unnamed Author (Search for Journal in Brave)

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

zbMATH Keywords

intuitionistic set theoryZFZFIproof-theoretical equivalence

Mathematics Subject Classification ID

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

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