Expansions of models of ZFC.
Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 173-180
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Zbl
Mots-clés :
ZF-sigma, conservative extension of ZFC, choice function, trees whose branches form elementary chains, reflection phenomena
T.B. Flannagan. Expansions of models of ZFC.. Archiv für mathematische Logik und Grundlagenforschung, Tome 20 (1980), pp. 173-180. http://geodesic.mathdoc.fr/item/AMLG_1980__20_137971/
@article{AMLG_1980__20_137971,
author = {T.B. Flannagan},
title = {Expansions of models of {ZFC.}},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {173--180},
year = {1980},
volume = {20},
zbl = {0483.03029},
url = {http://geodesic.mathdoc.fr/item/AMLG_1980__20_137971/}
}