Positions
Research work
Performance
Performance
2018
-
Mikhailovskaya Y.A, Frolov A.N., Computable Linear Orders and the Ershov Hierarchy//Russian Mathematics. - 2018. - Vol.62, Is.1. - P.58-64.
-
Зубков М. В., Фролов А. Н. Вычислимые линейные порядки и предельно монотонные функции //Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры». – 2018. – Т. 157. – С. 70-105.
-
Calvert W, Frolov A, Harizanov V, Knight J, McCoy C, Soskova A, Vatev S, Strong jump inversion//Journal of Logic and Computation. - 2018. - Vol.28, Is.7. - P.1498-1522.
-
Frolov A.N., On a Computable Presentation of Low Linear Orderings//Lobachevskii Journal of Mathematics. - 2018. - Vol.39, Is.9. - P.1453-1459.
2017
- Р.И. Бикмухаметов, М.С. Еряшкин, А.Н. Фролов, Спектр отношения блока 1-вычислимых линейных порядков // Ученые записки Казанского университета. Серия физ.-мат. Наук, 2017, Книга 3.
-
Зубков М.В., Фролов А.Н. О категоричности разреженных линейных порядков конструктивного ранга / М.В. Зубков, А.Н. Фролов // Международная конференция «Мальцевские чтения«. Тезисы докладов. - Новосибирск, 2017. - С. 50.
2016
- Frolov A. Effective categoricity on computable linear orderings // The Bulletin of Symbolic Logic. – 2016. – V. 22. – № 3. – p. 396.
-
Fokina E, Frolov A, Kalimullin I., Categoricity Spectra for Rigid Structures//Notre Dame Journal of Formal Logic. - 2016. - Vol.57, Is.1. - P.45-57.
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.N., Effective Categoricity of Computable Linear Orderings//Algebra and Logic. - 2015. - Vol.54, Is.5. - P.415-417.
- 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
- Frolov A.N. Zubkov M.V. On categorisity of scattered linear orders // Алгебра и математическая логика : теория и приложения, материалы междунаровдной конференции 2-6 июня, Казань, 2014, с. 56
-
Frolov A.N, Zubkov M.V., Limitwise monotonic functions relative to the Kleene?s Ordinal Notation System//Lobachevskii Journal of Mathematics. - 2014. - Vol.35, Is.4. - P.295-301.
-
A. N. Frolov, Scattered linear orderings with no computable presentation // Lobachevskii Journal of Mathematics, 2014, Volume 35, Issue 1, pp 19-22.
2013
2012
- A.N. Frolov, Linear orderings. Coding theorems \\ Proceedings of Kazan University. Series of Physical and Mathematical Sciences, 2012, V. 154, No. 2, pp. 142-151. (only in russian)
- E. Fokina, A. Frolov, I. Kalimullin, Structures with no degree of categoricity // The Bulletin of Symbolic Logic, v. 18, N. 3, 2012, P. 445.
-
A. Frolov, V. Harizanov, I. Kalimullin, O. Kudinov, R. Miller, Spectra of high n and non-low n degrees//Journal of Logic and Computation. - 2012. - Vol.22, Is.4. - P.755-777.
-
Frolov A.N., Ranges of ?-functions of ?-like linear orderings//Russian Mathematics. - 2012. - Vol.56, Is.3. - P.87-89.
-
Frolov A.N., Low linear orderings//Journal of Logic and Computation. - 2012. - Vol.22, Is.4. - P.745-754.
2011
2010
-
A.N. Frolov, Linear orderings of low degrees // Siberian Mathematical Journal, 5 (51), 2010, p. 913-925.
- Andrey N. Frolov, Low linear orderings // The Bulletin of Symbolic Logic, v. 16, N. 1, 2010, P. 117.
- A.N. Frolov, Rosenstein's problems // Proceedings of "Computability and Models", Ust-Kamenogorsk, 2010, p. 103-114 (only in russian).
-
A.N. Frolov, Presentations of the successor relation of computable linear orderings // Izvestiya VUZ. Matematika (Russian Mathematics), 7, 2010, p. 64-74.
2009
-
Andrey Frolov, Iskander Sh. Kalimullin, Russell Miller, Spectra of Algebraic Fields and Subfields // Lecture Notes in Computer Science. - 2009. - V. 5635. - P. 232-241.
-
J. Chubb, A. Frolov, V. Harizanov, Degree spectra of successivities of linear orderings // Archive for Mathematical Logic, 2009, 1 (48), 7-13.
- Andrey Frolov N., Low linear orderings // Abstracts, Logic Colloquium, "St. Kliment Ohridski" University Press, Sofia University, Faculty of Mathematics and Informatics, 2009, P. 48-49.
-
P.E. Alaev, A.N. Frolov, J. Thurber, Computablility on linear orderings enriched with predicates // Algebra and Logic, 2009, 5 (48), p. 313-320.
-
A. Frolov, M. Zubkov, Increasing $\eta$-representable degrees // Mathematical Logic Quarterly, 2009, 6 (55), 633-636.
2008
2007
2006
2005
2004
2003
2002
2001
Events
2017
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Taught disciplines
| Discipline | Curriculum | Authors | File |
| Дискретная математика | 050100.62 Pedagogical education, Bachelor's Degree (Математика и Иностранный язык (английский)) 2013 y. |
Фролов А.Н. Киндер М.И. |
|
| Математическая логика | 032700.62 Филология, Bachelor's Degree (Прикладная филология (Татарский язык и литература, информационные технологии)) 2013 y. |
Фролов А.Н. |
 |
| Математическая логика и теория алгоритмов | 050100.62 Pedagogical education, Bachelor's Degree (Математика, информатика и информационные технологии) 2012 y. |
Фролов А.Н. |
|
| Математическая логика и теория алгоритмов | 050100.62 Pedagogical education, Bachelor's Degree (Математика, информатика и информационные технологии) 2013 y. |
Фролов А.Н. |
|
| Математическая логика и теория алгоритмов | 050100.62 Pedagogical education, Bachelor's Degree (Mathematics and Computer Science and Information Technologies in Bilingual Tatar and Russian Environment) 2012 y. |
Фролов А.Н. |
|
| Математическая логика и теория алгоритмов (на билингвальной русско-английской основе) | 050100.62 Pedagogical education, Bachelor's Degree (Математика и Иностранный язык (английский)) 2013 y. |
Фролов А.Н. Киндер М.И. |
|
| Математическая логика и теория алгоритмов (на билингвальной русско-английской основе) | 050100.62 Pedagogical education, Bachelor's Degree (Математика и Иностранный язык (английский)) 2012 y. |
Фролов А.Н. |
|
| Многочлены многих переменных | 050100.62 Pedagogical education, Bachelor's Degree (Математика, информатика и информационные технологии) 2011 y. |
Фролов А.Н. |
|
| Многочлены многих переменных | 050100.62 Pedagogical education, Bachelor's Degree (Математика и Иностранный язык (английский)) 2011 y. |
Фролов А.Н. |
|
| Научно-исследовательская работа | 010100.68 Mathematics, Master's Degree (Algebra) 2013 y. |
Арсланов М.М. Фролов А.Н. |
|
| Научно-исследовательская работа | 010100.68 Mathematics, Master's Degree (Algebra) 2012 y. |
Арсланов М.М. Фролов А.Н. |
|
| Научно-исследовательский семинар: Алгебра | 010100.68 Mathematics, Master's Degree (Algebra) 2013 y. |
Арсланов М.М. Фролов А.Н. |
|
| Прикладная теория графов | 050100.62 Pedagogical education, Bachelor's Degree (Математика и Иностранный язык (английский)) 2011 y. |
Фролов А.Н. |
|
| Прикладная теория графов | 050100.62 Pedagogical education, Bachelor's Degree (Математика, информатика и информационные технологии) 2011 y. |
Фролов А.Н. |
|
| Семинар "Алгебра" | 010100.68 Mathematics, Master's Degree (Algebra) 2012 y. |
Арсланов М.М. Фролов А.Н. |
|
| Теория алгоритмов | 050100.62 Pedagogical education, Bachelor's Degree (Информатика) 2011 y. |
Фролов А.Н. |
|
| Элементы компьютерной и абстрактной алгебры | 050100.62 Pedagogical education, Bachelor's Degree (Информатика) 2011 y. |
Фролов А.Н. |
|
| Work address: | 35 Kremlevskaya Str., Kazan, Building №14 (unit # 2) |
| E-mail: | a.frolov.kpfu@gmail.com |
| Experience: |
| Scientific and pedagogical experience: |
| General experience: |
| Experience in KFU: |