Andrei Morozov Sobolev Institute of Mathematics, Russia Journal Computability ISSN: 22113568 Read Online