Об элементарных теориях полных абелевых групп без кручения с $p$-адической топологией

Полные абелевы группы без кручения рассматриваются как двуосновные модели УИП, второе основное тождество которых — подгруппы, образующие цепь с факторами порядка $p$. Доказываются две теоремы об элементарных теориях классов таких моделей. Библ. 4 назв.