Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory

Michael Rathjen. Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory. Annals of Pure and Applied Logic, 136(1-2):156-174, 2005. [doi]

Abstract

Abstract is missing.