Сколемовские функции и конструктивные модели

Дается довольно общее достаточное условие существования конструктивной модели для теории, описанной аксиомами в приведенной форме, — условие конечности препятствий для соответствующей сколемовской теории.