TY - JOUR AU - M. G. Peretyat'kin TI - First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories JO - Matematičeskie trudy PY - 2015 SP - 61 EP - 92 VL - 18 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MT_2015_18_2_a4/ LA - ru ID - MT_2015_18_2_a4 ER -