Представление моделей конечными деревьями
| Авторы: | Ю. Д. Корольков |
| Аннотация: | В статье разработан аппарат конечных формульных деревьев для алгебро-логических моделей, который представляет их элементарную эквивалентность и разрешимость. |
| Ключевые слова: | теории первого порядка; модели; элементарная эквивалентность; разрешимость |
| УДК: | 517.11 |
| Литература: |
1. Ершов Ю. Л. Проблемы разрешимости и конструктивные модели / Ю. Л. Ершов. – М. : Наука, 1980. – 416 с. 2. Ершов Ю. Л. Язык Σ-выражений / Ю. Л. Ершов // Вычисл. системы. – Новосибирск, 1986. – Вып. 114 – С. 3–10. 3. Ершов Ю. Л. Определимость и вычислимость / Ю. Л. Ершов. – Новосибирск : Науч. кн., 1996. – 286 с. 4. Корольков Ю. Д. Теории первого порядка отдельных алгебраических систем / Ю. Д. Корольков // Третья сибирская школа по алгебре и анализу : сб.тр. – Иркутск, 1990. – С. 21–25. 5. Нуртазин А. Т. Об элиминации кванторов / А. Т. Нуртазин // Девятая всерос. конф. по мат. логике. – Л., 1988. – С. 119. 6. Тайманов А. Д. Характеристики аксиоматизируемых классов моделей / А. Д. Тайманов // Алгебра и логика. – 1962. – Т. 1, № 4. – С. 5–32. |