Специальные отношения для формул, их отношения эквивалентности и теории
Ключевые слова:
формула, специальное отношение, отношение эквивалентности, теория.Аннотация
Изучаются свойства и характеристики специальных отношений формул данных сигнатур, задающих отношения эквивалентности как в общем случае, так и для элементарных теорий. Описаны характеристики цепей специальных отношений и отношений эквивалентности.
Загрузки
Опубликован
2022-04-19
Выпуск
Раздел
МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ