Computably Separable Models
N. Kh. KasymovNational University of Uzbekistan named after M. UlugbekF. N. IbragimovNational University of Uzbekistan named after M. Ulugbek
ABI
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.