Interpolat Definability Olg 46 C by Larisa Maksimova & Professor Dov M. Gabbay