Алгебры бинарных формул для $\aleph_0$-категоричных слабо циклически минимальных теорий: кусочно монотонный случай
Abstract
Algebras of binary isolating formulas are described for $\aleph_0$-categorical 1-transitive non-primitive weakly circularly minimal theories of convexity rank greater than 1 having a non-trivial piecewise (non-strictly) monotonic function.
Published
2024-01-28
Issue
Section
Mathematical logic, algebra and number theory