9th International Congress on Schizophrenia Research, COLORADO SPINGS, COLORADO, 29 Mart - 02 Nisan 2003, cilt.60, ss.16, (Özet Bildiri)
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.