Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.
Archiv für mathematische Logik und Grundlagenforschung, Tome 23 (1983), pp. 141-146
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
infinite-valued predicate logic, comprehension axiom, Russel paradox, arithmetical hierarchy
@article{AMLG_1983__23_138014,
author = {Matthias Ragaz},
title = {Die {Nichtaxiomatisierbarkeit} der unendlichwertigen {Mengenlehre.}},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {141--146},
year = {1983},
volume = {23},
zbl = {0533.03008},
url = {http://geodesic.mathdoc.fr/item/AMLG_1983__23_138014/}
}
Matthias Ragaz. Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.. Archiv für mathematische Logik und Grundlagenforschung, Tome 23 (1983), pp. 141-146. http://geodesic.mathdoc.fr/item/AMLG_1983__23_138014/