38th Annual Meeting of the European-Association-for-the-Study-of-the-Liver, İstanbul, Türkiye, 29 Mart - 01 Nisan 2003, cilt.38, ss.26, (Özet Bildiri)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.