2019
2018
- Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Известия ВУЗов. Математика. - 2018. - № 1. - С. 67-74.
-
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.
- А. Н. Фролов, “Вычислимая представимость счетных линейных порядков”, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 158 (2018), 81–115
-
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.
-
Зубков М. В., Фролов А. Н. Вычислимые линейные порядки и предельно монотонные функции //Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры». – 2018. – Т. 157. – С. 70-105.
-
Калимуллин И.Ш., Селиванов В.Л., Фролов А.Н. Спектры степеней структур // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 158. - С. 23–39.
F_firstpage_into411.pdf
2017
- Фролов А.Н. Об одном вычислимом представлении низких линейных порядков // Ученые записки Казанского университета. Серия физ.-мат. Наук, 2017, Книга 4.
- Р.И. Бикмухаметов, М.С. Еряшкин, А.Н. Фролов, Спектр отношения блока 1-вычислимых линейных порядков // Ученые записки Казанского университета. Серия физ.-мат. Наук, 2017, Книга 3.
- Н.А. Баженов, А.Н. Фролов, И.Ш. Калимуллин, А.Г. Мельников, Вычислимость дистрибутивных решеток // Сибирский математический журнал, 2017, Т. 58, № 6, с. 1236-1251.
-
Зубков М.В., Фролов А.Н. О категоричности разреженных линейных порядков конструктивного ранга / М.В. Зубков, А.Н. Фролов // Международная конференция «Мальцевские чтения«. Тезисы докладов. - Новосибирск, 2017. - С. 50.
2016
-
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.
-
Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Материалы международной конференции «Мальцевские чтения 2016». - Новосибирск, 2016. - C. 56.
- Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Материалы международной конференции по алгебре, анализу и геометрии, посвященной юбилеям выдающихся профессоров Казанского университета, математиков Петра Алексеевича и Александра Петровича Широковых. - Казань, Казанский университет, изд-во АН РТ, 2016. - C. 244.
- Frolov A. Effective categoricity on computable linear orderings // The Bulletin of Symbolic Logic. – 2016. – V. 22. – № 3. – p. 396.
- Вычислимо представимые линейные порядки (РФФИ-797)
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
-
Frolov A.N., A note on ? 2 0 -Spectra of linear orderings and degree spectra of the successor relation//Russian Mathematics. - 2013. - Vol.57, Is.11. - P.65-68.
- Счетные линейные порядки и вычислимость (МКР-21)
2012
- А.Н. Фролов, Линейные порядки. Теоремы кодирования // Учен. зап. Казан. ун-та. Сер. физ.-матем. науки, 2012, Том 154, номер 2, с. 142-151.
- 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.
- Тьюринговые степени упорядоченных структур (Порядки-12)
- Алгоритмические аспекты алгебраических структур (РФФИ-598)
2011
2010
-
А.Н. Фролов, Линейные порядки низкой степени // Сибирский Математический Журнал, 5 (51), 2010, 1147-1162
-
А.Н. Фролов, Представления отношения соседства вычислимого линейного порядка // Известия ВУЗов. Математика, 7, 2010, 73-85
- Andrey N. Frolov, Low linear orderings // The Bulletin of Symbolic Logic, v. 16, N. 1, 2010, P. 117.
- А.Н. Фролов, Алгоритмическая зависимость отношений соседства и блока вычислимых линейных порядков // Международная конференция "Мальцевские Чтения", посвященная 70-летию Академика Юрия Леонидовича Ершова, 2-6 мая 2010г. Тезисы докладов, с. 54.
- М.В. Зубков, А.Н. Фролов, Примеры "сложных" $\eta$-схожих линейных порядков, имеющих вычислимые копии // Международная конференция "Мальцевские Чтения", посвященная 70-летию Академика Юрия Леонидовича Ершова, 2-6 мая 2010г. Тезисы докладов, с. 49.
- А.Н. Фролов, Проблемы Розенштейна // Труды Международной научной конференции "ВЫЧИСЛИМОСТЬ И МОДЕЛИ" 30 августа-1 сентября 2009, Усть-Каменогорск, ВКГТУ, 2010, стр. 103-114.
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.
-
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.
- Б.С. Кочкарев, А.Н. Фролов, Индивидуальные задания и указания к их решению по курсу "Дискретная математика". - ТГГПУ, 2009, 22с., 103 экз.
- Киндер М.И., Фролов А.Н. Система индивидуальных заданий по математической логике. Алгебра высказываний, исчисление высказываний. - ТГГПУ, 2009, 48 с., 150 экз.
- А.Н. Фролов, Отношения на вычислимых линейных порядках и иерархия Ершова // Международная конференция "Мальцевские Чтения", посвященная 100-летию со дня рождения Анатолия Ивановича Мальцева, 24-28 августа 2009г. Тезисы докладов, с. 204.
-
A. Frolov, M. Zubkov, Increasing $\eta$-representable degrees // Mathematical Logic Quarterly, 2009, 6 (55), 633-636.
2008
- Andrey N. Frolov, $\Delta_n^0$-categorical linear orderings // The Bulletin of Symbolic Logic, v. 14, N. 1, 2008, P. 140.
-
А.Н. Фролов, Вычисилимо представимые квазидискретные линейные порядки // Международная конференция "Мальцевские чтения-2008". Электронная публикация: http://www.math.nsc.ru/conference/malmeet/08/Abstracts/Frolov.pdf.
2007
- Б.С. Кочкарев, А.Н. Фролов, Система индивидуальных заданий по математической логике и теории алгоритмов. Для бакалавров. - ТГГПУ, 2007, 37с., 110 экз.
-
А.Н. Фролов, Спектр отношения соседства вычислимых линейных порядков // Международная конференция "Мальцевские чтения-2007". Электронная публикация: http://www.math.nsc.ru/conference/malmeet/07/Abstracts/frolov.pdf.
- A.N. Frolov, $\Delta^0_n$-categorical linear orderings // Book of abstracts of Logic Colloquium 2007 (Wroclaw, Poland, 14-19 July), 2007, 45 p.
- А.Н. Фролов, Вычислимые дистрибутивные решетки с относительными дополнениями // Материалы международной научно-практической конференции ИТО ПОВОЛЖЬЕ 2007, Казань: ТГГПУ, 2007, 158-159 с.
2006
- Б.С. Кочкарев, А.Н. Фролов, Система индивидуальных заданий по математической логике. Алгебра высказываний, исчисление высказываний. - ТГГПУ, 2006, 44с., 200 экз.
- А.Н. Фролов, Теоретико-множественные сводимости по решетке множеств // Известия ВУЗов. Математика, 2006, 1 (524), 57-67.
-
А.Н. Фролов, SET-1-сводимость на классе вычислимых множеств // Известия ВУЗов. Математика, 2006, 8 (531), 69-75.
- А.Н. Фролов, $\Delta_2^0$ копии линейных порядков // Алгебра и Логика, 2006, 3 (45), 354-370.
2005
2004
2003
2002
2001
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| E-mail: | a.frolov.kpfu@gmail.com |
