%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 %U http://geodesic.mathdoc.fr/item/LJM_2004_16_a0/ %G en %F LJM_2004_16_a0