Funder
Center of Mathematical Sciences and Applications, Harvard University
Ministry of Education and Science of the Russian Federation
Royal Society Te Apārangi
Government of Singapore Ministry of Education
Reference51 articles.
1. Computable Analysis;Aberth,1980
2. Computable Structures and the Hyperarithmetical Hierarchy;Ash,2000
3. Existence and uniqueness of structures computable in polynomial time;Alaev;Algebra Log.,2016
4. Théorie des opérations linéaires;Banach,1932
5. Foundations of online structure theory;Bazhenov;Bull. Symb. Log.,2019