Équivalence naturelle et formules logiques en théorie des catégories.
Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 131-138
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
Natural Equivalence of Categories, Z.339.02024, Preservation of First Order Properties
@article{AMLG_1978__19_137951,
author = {Georges Blanc},
title = {\'Equivalence naturelle et formules logiques en th\'eorie des cat\'egories.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {131--138},
year = {1978},
volume = {19},
zbl = {0407.03035},
url = {http://geodesic.mathdoc.fr/item/AMLG_1978__19_137951/}
}
Georges Blanc. Équivalence naturelle et formules logiques en théorie des catégories.. Archiv für mathematische Logik und Grundlagenforschung, Tome 19 (1978), pp. 131-138. http://geodesic.mathdoc.fr/item/AMLG_1978__19_137951/