Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях П.Е. Алаев — 2003 Algebra i Logika