Computably Separable Models
N. Kh. KasymovNational University of Uzbekistan named after M. UlugbekF. N. IbragimovNational University of Uzbekistan named after M. Ulugbek
ABI
Аннотация
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.
Перевод пока недоступен