  We introduce a relativized version of random Kripke's schema and show how it
may be applied in the investigation of the expressive power of intuitionistic
real algebra by interpreting second-order Heyting arithmetic in it.
