Binary Formulas in Countably Categorical Weakly Circularly Minimal Structures


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

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.

About the authors

B. Sh. Kulpeshov

International Information Technologies University

Author for correspondence.
Email: b.kulpeshov@iitu.kz
Kazakhstan, Manas str. 34A/Zhandosov str. 8A, Alma-Ata, 050040

A. B. Altaeva

Institute of Informatics and Control

Email: b.kulpeshov@iitu.kz
Kazakhstan, ul. Pushkina 125, Alma-Ata, 050010

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2016 Springer Science+Business Media New York