Răzvan Diaconescu

• Institution-independent model theory