%0 Journal Article
%A Bunge, Marta
%A Jibladze, Mamumka
%A Streicher, Thomas
%T Definable completeness
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 2004
%P 243-266
%V 45
%N 4
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_2004__45_4_243_0/
%G en
%F CTGDC_2004__45_4_243_0