16th Congress of the European-College-of-Neuropsychopharmacology, PRAGUE, Çek Cumhuriyeti, 20 - 24 Eylül 2003, cilt.13, (Özet Bildiri)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.