Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure Full article
| Journal |
Lobachevskii Journal of Mathematics
ISSN: 1995-0802 , E-ISSN: 1818-9962 |
||||||
|---|---|---|---|---|---|---|---|
| Output data | Year: 2022, Volume: 43, Number: 12, Pages: 126-134 Pages count : 9 DOI: 10.1134/S199508022215015X | ||||||
| Tags | algebra of binary formulas, countably categorical theory, weak circular minimality, circularly ordered structure, automorphism group, convexity rank. | ||||||
| Authors |
|
||||||
| Affiliations |
|
Funding (1)
| 1 | Russian Science Foundation | 22-21-00044 |
Abstract:
Algebras of binary isolating formulas are described for countably categorical weakly circularly minimal theories of convexity rank 1 with a 1-transitive non-primitive automorphism group and a non-trivial definable closure. A criterion for commutativity of such algebras is found.
Cite:
Kulpeshov B.S.
, Sudoplatov S.V.
Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure
Lobachevskii Journal of Mathematics. 2022. V.43. N12. P.126-134. DOI: 10.1134/S199508022215015X WOS Scopus РИНЦ OpenAlex
Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure
Lobachevskii Journal of Mathematics. 2022. V.43. N12. P.126-134. DOI: 10.1134/S199508022215015X WOS Scopus РИНЦ OpenAlex
Dates:
| Submitted: | Jun 22, 2022 |
| Accepted: | Aug 10, 2022 |
| Published print: | Mar 17, 2023 |
| Published online: | Mar 17, 2023 |
Identifiers:
| Web of science: | WOS:000953737000015 |
| Scopus: | 2-s2.0-85159939154 |
| Elibrary: | 50767201 |
| OpenAlex: | W4327798536 |