On the paper definable completeness
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 50 (2009) no. 2, article no. 4, 1 p.
@article{CTGDC_2009__50_2_156_0,
author = {Bunge, Marta and Funk, Jonathon and Jibladze, Mamuka and Streicher, Thomas},
title = {On the paper definable completeness},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
eid = {4},
pages = {156--156},
publisher = {Andr\'ee CHARLES EHRESMANN},
volume = {50},
number = {2},
year = {2009},
mrnumber = {2108193},
zbl = {1181.18002},
language = {en},
url = {http://www.numdam.org/item/CTGDC_2009__50_2_156_0/}
}
TY - JOUR AU - Bunge, Marta AU - Funk, Jonathon AU - Jibladze, Mamuka AU - Streicher, Thomas TI - On the paper definable completeness JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 2009 SP - 156 EP - 156 VL - 50 IS - 2 PB - Andrée CHARLES EHRESMANN UR - http://www.numdam.org/item/CTGDC_2009__50_2_156_0/ LA - en ID - CTGDC_2009__50_2_156_0 ER -
%0 Journal Article %A Bunge, Marta %A Funk, Jonathon %A Jibladze, Mamuka %A Streicher, Thomas %T On the paper definable completeness %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 2009 %P 156-156 %V 50 %N 2 %I Andrée CHARLES EHRESMANN %U http://www.numdam.org/item/CTGDC_2009__50_2_156_0/ %G en %F CTGDC_2009__50_2_156_0
Bunge, Marta; Funk, Jonathon; Jibladze, Mamuka; Streicher, Thomas. On the paper definable completeness. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 50 (2009) no. 2, article no. 4, 1 p. http://www.numdam.org/item/CTGDC_2009__50_2_156_0/
