Existential definability in arithmetic
Matematika, Tome 8 (1964) no. 5, pp. 3-14
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{MAT_1964_8_5_a0,
author = {Julia Robinson},
title = {Existential definability in arithmetic},
journal = {Matematika},
pages = {3--14},
year = {1964},
volume = {8},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a0/}
}
Julia Robinson. Existential definability in arithmetic. Matematika, Tome 8 (1964) no. 5, pp. 3-14. http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a0/