Open AccessComputably Separable Models
Author(s) -
N. Kh. Kasymov,
N. Kh. Kasymov,
F. N. Ibragimov,
F. N. Ibragimov
Publication year - 2018
Publication title -
sovremennaâ matematika. fundamentalʹnye napravleniâ
Language(s) - English
Resource type - Journals
eISSN - 2949-0618
pISSN - 2413-3639
DOI - 10.22363/2413-3639-2018-64-4-682-705
Subject(s) - separable space , mathematics , state (computer science) , algebra over a field , pure mathematics , algorithm , mathematical analysis
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 eective linear orders and theoretical informatics.