Biochemical, radiological, and histological correlates in patients with non-alcoholic fatty liver disease with elevated and normal liver enzymes
Digestive Disease Week 2003 Meeting/104th Annual Meeting of the American-Gastroenterological-Association, ORLANDO, FLORIDA, 17 - 22 Mayıs 2003, cilt.124, (Özet Bildiri)
- Yayın Türü: Bildiri / Özet Bildiri
- Cilt numarası: 124
- Doi Numarası: 10.1016/s0016-5085(03)83775-7
- Basıldığı Şehir: ORLANDO
- Basıldığı Ülke: FLORIDA
- İstanbul Üniversitesi-Cerrahpaşa Adresli: Evet
Ö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.