Mathematics and Statistics Vol. 2(5), pp. 183 - 187
DOI: 10.13189/ms.2014.020501
Reprint (PDF) (101Kb)

Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories

Sergey V. Sudoplatov ^1,2,*
1 Sobolev Institute of Mathematics, Academician Koptyug avenue, 4, 630090, Novosibirsk, Russia
² Novosibirsk State Technical University, K.Marx avenue, 20, 630073, Novosibirsk, Russia

ABSTRACT

We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories. For this aim we introduce and use the notion of forcing of infinity. Structures associated with binary formulas, in strongly minimal theories, and containing compositions and Boolean combinations are characterized: a list of basic structural properties for these structures, including the forcing of infinity, is presented, and it is shown that structures satisfying this list of properties are realized in strongly minimal theories.

KEYWORDS
Structure of Binary Semi-isolating Formulas, Forcing of Infinity, Strongly Minimal Theory

Cite This Paper in IEEE or APA Citation Styles
(a). IEEE Format:
[1] Sergey V. Sudoplatov , "Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories," Mathematics and Statistics, Vol. 2, No. 5, pp. 183 - 187, 2014. DOI: 10.13189/ms.2014.020501.

(b). APA Format:
Sergey V. Sudoplatov (2014). Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories. Mathematics and Statistics, 2(5), 183 - 187. DOI: 10.13189/ms.2014.020501.