On the strength of several versions of Dirichlet's (
Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 69-76
Voir la notice de l'article provenant de la source European Digital Mathematics Library
Zbl
Mots-clés :
model theory, fragments of number theory, finiteness conditions, Dirichlet's principle
T.v.d. Twer. On the strength of several versions of Dirichlet's (. Archiv für mathematische Logik und Grundlagenforschung, Tome 21 (1981), pp. 69-76. http://geodesic.mathdoc.fr/item/AMLG_1981__21_137976/
@article{AMLG_1981__21_137976,
author = {T.v.d. Twer},
title = {On the strength of several versions of {Dirichlet's} (},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {69--76},
year = {1981},
volume = {21},
zbl = {0467.03060},
url = {http://geodesic.mathdoc.fr/item/AMLG_1981__21_137976/}
}