List of issues > Series «Mathematics». 2012. Vol. 1
Representing the models by the finite trees
In the article the apparatus of the finite formula trees for algebra-logical models is designed. The apparatus represents the elementary equivalency and decidability of the models.
1. Ершов Ю. Л. Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов. – М. : Наука, 1980. – 416 с.
2. Ершов Ю. Л. Язык Σ-выражений / Ю. Л. Ершов // Вычисл. системы. – Новосибирск, 1986. – Вып. 114 – С. 3–10.
3. Ершов Ю. Л. Определимость и вычислимость / Ю. Л. Ершов. – Новосибирск : Науч. кн., 1996. – 286 с.
4. Корольков Ю. Д. Теории первого порядка отдельных алгебраических систем / Ю. Д. Корольков // Третья сибирская школа по алгебре и анализу : сб.тр. – Иркутск, 1990. – С. 21–25.
5. Нуртазин А. Т. Об элиминации кванторов / А. Т. Нуртазин // Девятая всерос. конф. по мат. логике. – Л., 1988. – С. 119.
6. Тайманов А. Д. Характеристики аксиоматизируемых классов моделей / А. Д. Тайманов // Алгебра и логика. – 1962. – Т. 1, № 4. – С. 5–32.