16th Congress of the European-College-of-Neuropsychopharmacology, PRAGUE, Çek Cumhuriyeti, 20 - 24 Eylül 2003
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.