Специальные отношения для формул, их отношения эквивалентности и теории

Авторы

  • Сергей Судоплатов Институт математики им. С.Л. Соболева СО РАН

Ключевые слова:

формула, специальное отношение, отношение эквивалентности, теория.

Аннотация

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

Загрузки

Опубликован

2022-04-19

Выпуск

Раздел

МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ