%0 Journal Article %A Julia Robinson %T Existential definability in arithmetic %J Matematika %D 1964 %P 3-14 %V 8 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a0/ %G ru %F MAT_1964_8_5_a0