This article is cited in 4 papers

Computably separable models

N. Kh. Kasymov, F. N. Ibragimov

National University of Uzbekistan named after M. Ulugbek, Tashkent, Uzbekistan

Abstract: We state fundamental results of structural theory of computably separable models and consider applications of this theory to solution of some actual problems of the theory of effective linear orders and theoretical informatics.

UDC: 510.5+510.6+512.57+519.68

DOI: 10.22363/2413-3639-2018-64-4-682-705