Digestive Disease Week 2003 Meeting/104th Annual Meeting of the American-Gastroenterological-Association, ORLANDO, FLORIDA, 17 - 22 Mayıs 2003, (Özet Bildiri)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.