Алгебры бинарных формул для $\aleph_0$-категоричных слабо циклически минимальных теорий: кусочно монотонный случай

Авторы

  • Бейбут Шайыкович Кулпешов Kazakh British Technical University

Аннотация

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

Опубликован

2024-01-28

Выпуск

Том 20 № 2 (2023): Том 20, №2, 2023

Раздел

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