2018
-
Mikhailovskaya Y.A, Frolov A.N., Computable Linear Orders and the Ershov Hierarchy//Russian Mathematics. - 2018. - Vol.62, Is.1. - P.58-64.
-
Frolov A.N., On a Computable Presentation of Low Linear Orderings//Lobachevskii Journal of Mathematics. - 2018. - Vol.39, Is.9. - P.1453-1459.
-
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.
- А. Н. Фролов, “Вычислимая представимость счетных линейных порядков”, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 81–115
-
Калимуллин И.Ш., Селиванов В.Л., Фролов А.Н. Спектры степеней структур // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 158. - С. 23–39.
F_firstpage_into411.pdf -
Зубков М. В., Фролов А. Н. Вычислимые линейные порядки и предельно монотонные функции //Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры». – 2018. – Т. 157. – С. 70-105.
- Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Известия ВУЗов. Математика. - 2018. - № 1. - С. 67-74.
2017
2016
2015
2014
-
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
-
Frolov A.N., Low linear orderings//Journal of Logic and Computation. - 2012. - Vol.22, Is.4. - P.745-754.
- А.Н. Фролов, Линейные порядки. Теоремы кодирования // Учен. зап. Казан. ун-та. Сер. физ.-матем. науки, 2012, Том 154, номер 2, с. 142-151.
-
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.
2010
- А.Н. Фролов, Проблемы Розенштейна // Труды Международной научной конференции "ВЫЧИСЛИМОСТЬ И МОДЕЛИ" 30 августа-1 сентября 2009, Усть-Каменогорск, ВКГТУ, 2010, стр. 103-114.
-
А.Н. Фролов, Представления отношения соседства вычислимого линейного порядка // Известия ВУЗов. Математика, 7, 2010, 73-85
-
А.Н. Фролов, Линейные порядки низкой степени // Сибирский Математический Журнал, 5 (51), 2010, 1147-1162
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.
-
П. Алаев, Дж. Тёрбер, А. Фролов, Вычислимость на линейных порядках, обогащённых предикатами // Алгебра и Логика, 2009, 5 (48), 549-563.
-
A. Frolov, M. Zubkov, Increasing $\eta$-representable degrees // Mathematical Logic Quarterly, 2009, 6 (55), 633-636.
-
J. Chubb, A. Frolov, V. Harizanov, Degree spectra of successivities of linear orderings // Archive for Mathematical Logic, 2009, 1 (48), 7-13.
2008
2006
- А.Н. Фролов, $\Delta_2^0$ копии линейных порядков // Алгебра и Логика, 2006, 3 (45), 354-370.
- А.Н. Фролов, Теоретико-множественные сводимости по решетке множеств // Известия ВУЗов. Математика, 2006, 1 (524), 57-67.
-
А.Н. Фролов, SET-1-сводимость на классе вычислимых множеств // Известия ВУЗов. Математика, 2006, 8 (531), 69-75.
2005
2004
2003
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| E-mail: | a.frolov.kpfu@gmail.com |
