188 Determining predominating histologic component in malignant mixed mullerian tumors: does it really work?
European Journal of Cancer Supplements, cilt.1, sa.5, 2003 (Scopus)
- Yayın Türü: Makale / Tam Makale
- Cilt numarası: 1 Sayı: 5
- Basım Tarihi: 2003
- Doi Numarası: 10.1016/s1359-6349(03)90221-7
- Dergi Adı: European Journal of Cancer Supplements
- Derginin Tarandığı İndeksler: Scopus
- İstanbul Üniversitesi-Cerrahpaşa Adresli: Hayır
Özet
We introduce a relativized version of random Kripke's schema and show how it may be applied in the investigation of the expressive power of intuitionistic real algebra by interpreting second-order Heyting arithmetic in it.