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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/LJM_2004_16_a0/ LA - en ID - LJM_2004_16_a0 ER -