Congress of the European-Society-of-Cardiology, Vienna, Avusturya, 30 Ağustos - 03 Eylül 2003, cilt.24, ss.546, (Özet Bildiri)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.