CANADIAN JOURNAL OF OPHTHALMOLOGY-JOURNAL CANADIEN D OPHTALMOLOGIE, cilt.38, sa.4, ss.293-296, 2003 (SCI-Expanded, Scopus)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.