В статье разработан аппарат конечных формульных деревьев для алгебро-логических моделей, который представляет их элементарную эквивалентность и разрешимость.

1. Ершов Ю. Л. Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов. – М. : Наука, 1980. – 416 с.

2. Ершов Ю. Л. Язык Σ-выражений / Ю. Л. Ершов // Вычисл. системы. – Новосибирск, 1986. – Вып. 114 – С. 3–10.

3. Ершов Ю. Л. Определимость и вычислимость / Ю. Л. Ершов. – Новосибирск : Науч. кн., 1996. – 286 с.

4. Корольков Ю. Д. Теории первого порядка отдельных алгебраических систем / Ю. Д. Корольков // Третья сибирская школа по алгебре и анализу : сб.тр. – Иркутск, 1990. – С. 21–25.

5. Нуртазин А. Т. Об элиминации кванторов / А. Т. Нуртазин // Девятая всерос. конф. по мат. логике. – Л., 1988. – С. 119.

6. Тайманов А. Д. Характеристики аксиоматизируемых классов моделей / А. Д. Тайманов // Алгебра и логика. – 1962. – Т. 1, № 4. – С. 5–32.