Frolov Andrey Nikolaevich (архив)
2017
2016
2015
- Frolov A. $\Delta^0_2$-spectra of linear orderings // The Bulletin of Symbolic Logic. - 2015. - V. 21, No 1. - P. 68-69.
- Frolov A. Effective categoricity on computable linear orderings // Book of Abstracts. 15th Congress of Logic, Methodology and Philosophy of Science. Logic Colloquium 2015. - 2015. - P. 687.
- Frolov A., Zubkov M. On categoricity of scattered linear orders // The Bulletin of Symbolic Logic. - 2015. - V.21, No 1. - P. 69.
2014
2012
2011
2010
- Andrey N. Frolov, Low linear orderings // The Bulletin of Symbolic Logic, v. 16, N. 1, 2010, P. 117.
2009
2007
2004
- A.N. Frolov, Computable copies of distributive lattices with relative complements and linear orderings // Proceedings of "Logic Colloquium" (Turin, Italy, 25-31 July), 2004.
- A.N. Frolov, Computable copies of Boolean and Ershov algebras // The Bulletin of Symbolic Logic, v. 10, N. 10, 2004, P. 255.
2003
- A.N. Frolov, Computable copies of Boolean and Ershov algebras // Proceedings of "Logic Colloquium" (Helsinki, Finland, August 14-20), 2003.
- A.N. Frolov, Set-theoretical properties of classes of computable sets // The Bulletin of Symbolic Logic, v. 9, N. 1, 2003, P. 91.
2002
- A.N. Frolov, On the class of recursive sets // The Bulletin of Symbolic Logic, v. 8, N. 1, 2002, P. 153.
- A.N. Frolov, Set-theoretical properties of classes of computable sets // Proceedings of "Logic Colloquium" (Munster, Germany, August 2002), 2002, P. 33.
2001
| Work address: | 35 Kremlevskaya Str., Kazan, Building №14 (unit # 2) |
| E-mail: | a.frolov.kpfu@gmail.com |
- General information
- Areas of research
- Taught disciplines
- Performance
- Scientific events
- Professional results
