Computably Separable Models
N. Kh. Kasymov, F. N. Ibragimov · Contemporary Mathematics Fundamental Directions · 2018
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.