RFBR grants:
16-31-10390 \ 16 The project of the organization of the international school "Mathematical modeling of fundamental objects and phenomena in computer mathematics systems" -KAZCAS-16 "
16-31-60077 Computably representable linear orders