Определимые семейства теория, связанные с ними исчисления и ранги

Авторы

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

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

семейство теорий, определимое подсемейство, ранг, степень

Аннотация

Рассматриваются подсемейства данных семейств теорий, определимые предложениями и диаграммами, а также динамика и характеристики этих подсемейств относительно ранга и степени.

Загрузки

Опубликован

2019-12-19

Выпуск

Том 17 (2020)

Раздел

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

Наиболее читаемые статьи этого автора (авторов)