TY - JOUR AU - A. Bovykin TI - Order-types of models of arithmetic and a connection with arithmetic JO - Lobachevskii journal of mathematics PY - 2004 SP - 3 EP - 15 VL - 16 UR - http://geodesic.mathdoc.fr/item/LJM_2004_16_a0/ LA - en ID - LJM_2004_16_a0 ER -