1. Sobolev Institute of Mathematics,Laboratory of Computability Theory and Applied Logic,Novosibirsk,Russia,630090
2. School of Sciences and Humanities, Nazarbayev University,Department of Mathematics,Astana,Kazakhstan,010000
3. Institute of Mathematics, National Academy of Sciences,Bishkek,Kyrgyzstan,720071