188 Determining predominating histologic component in malignant mixed mullerian tumors: does it really work?


Ozguroglu M., Bilici A., Sennur I., Turna H., Mandel N., Serdengecti S.

European Journal of Cancer Supplements, cilt.1, sa.5, 2003 (Scopus) identifier

Ö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.