Replacement and collection in intuitionistic set theory

DOI10.2307/2274220zbMath0585.03026OpenAlexW2132634181MaRDI QIDQ3710522

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)

Related Items (2)

In Praise of Replacement ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY

Cites Work

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

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