Объект исследования: класс счетных моделей универсальных предложений, кольца многочленов от двух переменных и их матрицы Якоби. Выявлены связи между теорией и ее ограничением на одноместный предикат. Описаны спектры счетных моделей несчетных теорий, многочлены, удовлетворяющие условию обратимости матрицы Якоби, спектры счетных моделей универсальных предложений.