Kripke models are models that produced by attaching the classical models to the nodes of a partial order and it is useful to study semantics of logics such as the constructive and modal logics. In this thesis we present a method to construct the Kripke models for subtheories of CZF by using constructions from classical model theory, such as the constructible sets and generic extensions. It is shown how to produce Kripke models for various forms of collection by using specific properties of certain generic extensions.