 In (Scott 1968 and 1970), a topological model for the second-order intuitionistic theory of analysis is presented where the reals are interpreted as continuous functions from Baire space into the classical reals. In this model Kripke’s Schema as well as certain continuity axioms hold. In (Moschovakis 1973), this method is adapted to construct a model of theories of intuitionistic analysis in terms of choice sequences. Also in this model Kripke’s Schema and certain continuity axioms hold. In (Van Dalen 1978) Beth models are used to provide a model of arithmetic and choice sequences that satisfy choice schemata, instances of weak continuity and Kripke’s Schema. In this model the domains at every node are the natural numbers, so that one does not have to use nonstandard models, as in the case of Kripke models. Moreover, the axioms CS1–3 of the creating subject can be interpreted in it, thus showing this theory to be consistent. 