Definable completeness
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 4, pp. 243-266
Voir la notice de l'article provenant de la source Numdam
@article{CTGDC_2004__45_4_243_0,
author = {Bunge, Marta and Jibladze, Mamumka and Streicher, Thomas},
title = {Definable completeness},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
pages = {243--266},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {45},
number = {4},
year = {2004},
mrnumber = {2108193},
zbl = {1067.18001},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CTGDC_2004__45_4_243_0/}
}
TY - JOUR AU - Bunge, Marta AU - Jibladze, Mamumka AU - Streicher, Thomas TI - Definable completeness JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2004 SP - 243 EP - 266 VL - 45 IS - 4 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://geodesic.mathdoc.fr/item/CTGDC_2004__45_4_243_0/ LA - en ID - CTGDC_2004__45_4_243_0 ER -
%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://geodesic.mathdoc.fr/item/CTGDC_2004__45_4_243_0/ %G en %F CTGDC_2004__45_4_243_0
Bunge, Marta; Jibladze, Mamumka; Streicher, Thomas. Definable completeness. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 45 (2004) no. 4, pp. 243-266. http://geodesic.mathdoc.fr/item/CTGDC_2004__45_4_243_0/