Николенко

Очень краткий конспект лекций по математической логике, Николенко С., 2010.

  Если Т w-стабильна и без пар Вота, то в любой M |= Т есть сильно минимальная формула над M. В частности, есть сильно минимальная формула с параметрами из Mо - простой модели Т.