Countably categorical weakly circularly minimal structures that are not 1-transitive are studied. We give a characterization of the behavior of binary formulas acting on a set of realizations of a nonalgebraic 1-type, and based on it, we present a complete description of countably categorical non-1-transitive weakly circularly minimal n-convex (n > 1) almost binary theories of convexity rank 1.
Similar content being viewed by others
References
M. Bhattacharjee, D. Macpherson, R. G. Möller, and P. M. Neumann, Notes on Infinite Permutation Groups, Lect. Notes Math., 1698, Springer-Verlag, Berlin (1998).
D. Macpherson and Ch. Steinhorn, “On variants of o-minimality,” Ann. Pure Appl. Log., 79, No. 2, 165-209 (1996).
B. Sh. Kulpeshov and H. D. Macpherson, “Minimality conditions on circularly ordered structures,” Math. Log. Q., 51, No. 4, 377-399 (2005).
B. S. Baizhanov and B. Sh. Kulpeshov, “On behaviour of 2-formulas in weakly o-minimal theories,” in Mathematical Logic in Asia, Proc. 9th Asian Logic Conf., S. S. Goncharov et al. (Eds.), World Scientific, Hackensack, NJ (2006), pp. 31-40.
B. Sh. Kulpeshov, “On ℵ 0-categorical weakly circularly minimal structures,” Math. Log. Q., 52, No. 6, 555-574 (2006).
B. Sh. Kulpeshov, “Definable functions in the ℵ 0-categorical weakly circularly minimal structures,” Sib. Mat. Zh., 50, No. 2, 282-302 (2009).
B. Sh. Kulpeshov, “The property of being binary for ℵ 0-categorical weakly o-minimal theories,” Algebra and Logic, 44, No. 4, 256-263 (2005).
B. Sh. Kulpeshov, “Binarity for ℵ 0-categorical weakly o-minimal theories of convexity rank 1,” Sib. El. Mat. Izv., 3, 185-196 (2006).
B. Sh. Kulpeshov, “Criterion for binarity of ℵ 0-categorical weakly o-minimal theories,” Ann. Pure Appl. Log., 145, No. 3, 354-367 (2007).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by KN MON RK, project No. 0830/GF4.
Translated from Algebra i Logika, Vol. 55, No. 3, pp. 341-365, May-June, 2016.
Rights and permissions
About this article
Cite this article
Kulpeshov, B.S., Altaeva, A.B. Binary Formulas in Countably Categorical Weakly Circularly Minimal Structures. Algebra Logic 55, 226–241 (2016). https://doi.org/10.1007/s10469-016-9391-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-016-9391-8