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

Unlike IZF, constructive Zermelo-Fraenkel set theory is amenable to ordinal analysis and the proofs in this paper make pivotal use thereof in the guise of well-ordering proofs for ordinal representation systems.