2019
2017
2016
- Frolov A. Effective categoricity on computable linear orderings // The Bulletin of Symbolic Logic. – 2016. – V. 22. – № 3. – p. 396.
-
Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Материалы международной конференции «Мальцевские чтения 2016». - Новосибирск, 2016. - C. 56.
- Михайловская Я.А., Фролов А.Н. Вычислимые линейные порядки и иерархия Ершова // Материалы международной конференции по алгебре, анализу и геометрии, посвященной юбилеям выдающихся профессоров Казанского университета, математиков Петра Алексеевича и Александра Петровича Широковых. - Казань, Казанский университет, изд-во АН РТ, 2016. - C. 244.
2015
2014
2012
2011
2010
2009
2008
2007
- А.Н. Фролов, Вычислимые дистрибутивные решетки с относительными дополнениями // Материалы международной научно-практической конференции ИТО ПОВОЛЖЬЕ 2007, Казань: ТГГПУ, 2007, 158-159 с.
-
А.Н. Фролов, Спектр отношения соседства вычислимых линейных порядков // Международная конференция "Мальцевские чтения-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.
2004
2003
2002
2001
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| E-mail: | a.frolov.kpfu@gmail.com |
