%0 Journal Article %A A. Bovykin %T Order-types of models of arithmetic and a~connection with arithmetic %J Lobachevskii journal of mathematics %D 2004 %P 3-15 %V 16 %I mathdoc %U http://geodesic.mathdoc.fr/item/LJM_2004_16_a0/ %G en %F LJM_2004_16_a0