TY - JOUR AU - Richard, Denis TI - On External Properties of Nonstandard Models of Arithmetic JO - Publications du Département de mathématiques (Lyon) PY - 1977 SP - 57 EP - 75 VL - 14 IS - 4 PB - Université Claude Bernard - Lyon 1 UR - http://www.numdam.org/item/PDML_1977__14_4_57_0/ LA - en ID - PDML_1977__14_4_57_0 ER -