Vol 56, No 1 (2017)

Algebras of distributions for binary isolating formulas, generalized commutative monoid. Algebras of distributions for binary isolating formulas over a type for countably categorical weakly o-minimal theories are described, and the generalized commutative property of an algebra of distributions for binary isolating formulas over a pair of types for countably categorical weakly o-minimal theories is characterized in terms of convexity rank.

We introduce the concept of a computability component on an admissible set and consider minimal and maximal computability components on hereditarily finite superstructures as well as jumps corresponding to these components. It is shown that the field of real numbers Σ-reduces to jumps of the maximal computability component on the least admissible set ℍ????(∅). Thus we obtain a result that, in terms of Σ-reducibility, connects real numbers, conceived of as a structure, with real numbers, conceived of as an approximation space. Also we formulate a series of natural open questions.