The arithmetic and turing degrees are not elementary equivalent.
Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 137-140
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
elementary theories, Turing degrees, arithmetic degrees, cone of degrees, second-order arithmetic
@article{AMLG_1984__24_138027,
author = {Richard A. Shore},
title = {The arithmetic and turing degrees are not elementary equivalent.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
pages = {137--140},
year = {1984},
volume = {24},
zbl = {0629.03018},
url = {http://geodesic.mathdoc.fr/item/AMLG_1984__24_138027/}
}
Richard A. Shore. The arithmetic and turing degrees are not elementary equivalent.. Archiv für mathematische Logik und Grundlagenforschung, Tome 24 (1984), pp. 137-140. http://geodesic.mathdoc.fr/item/AMLG_1984__24_138027/