Definable completeness Marta Bunge; Mamumka Jibladze; Thomas Streicher — 2004 Cahiers de Topologie et Géométrie Différentielle Catégoriques