Publié le : 1994-03-14
Classification:
03D55,
03D70
@article{1094061861,
author = {Antonelli, Gian Aldo},
title = {A revision-theoretic analysis of the arithmetical hierarchy.},
journal = {Notre Dame J. Formal Logic},
volume = {35},
number = {2},
year = {1994},
pages = { 204-218},
language = {en},
url = {http://dml.mathdoc.fr/item/1094061861}
}
Antonelli, Gian Aldo. A revision-theoretic analysis of the arithmetical hierarchy.. Notre Dame J. Formal Logic, Tome 35 (1994) no. 2, pp. 204-218. http://gdmltest.u-ga.fr/item/1094061861/