Retained submacular perfluorodecalin
CANADIAN JOURNAL OF OPHTHALMOLOGY-JOURNAL CANADIEN D OPHTALMOLOGIE, cilt.38, sa.4, ss.293-296, 2003 (SCI-Expanded, Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 38 Sayı: 4
- Basım Tarihi: 2003
- Doi Numarası: 10.1016/s0008-4182(03)80095-9
- Dergi Adı: CANADIAN JOURNAL OF OPHTHALMOLOGY-JOURNAL CANADIEN D OPHTALMOLOGIE
- Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Sayfa Sayıları: ss.293-296
- Anahtar Kelimeler: perfluorodecalin, perfluorocarbons, retinal detachment, giant retinal tear, intraocular foreign body
- Dokuz Eylül Üniversitesi Adresli: Evet
Özet
We show that in the presence of random Kripke's schema choice sequences can be recursively encoded in intuitionistic real algebra.