Spectra of highn and non-lown degrees A Frolov, I Kalimullin, V Harizanov, O Kudinov, R Miller Journal of Logic and Computation 22 (4), 755-777, 2010 | 40 | 2010 |
Categoricity spectra for rigid structures E Fokina, A Frolov, I Kalimullin | 38 | 2016 |
Δ 2 0 -copies of linear orderings AN Frolov Algebra and Logic 45, 201-209, 2006 | 37 | 2006 |
Low linear orderings AN Frolov Journal of Logic and Computation 22 (4), 745-754, 2010 | 34 | 2010 |
Degree spectra of the successor relation of computable linear orderings J Chubb, A Frolov, V Harizanov Archive for Mathematical Logic 48 (1), 7-13, 2009 | 30 | 2009 |
Increasing η ‐representable degrees AN Frolov, MV Zubkov Mathematical Logic Quarterly 55 (6), 633-636, 2009 | 29 | 2009 |
Linear orderings of low degree AN Frolov Siberian mathematical journal 51, 913-925, 2010 | 25 | 2010 |
Computability on linear orderings enriched with predicates. PE Alaev, J Thurber, AN Frolov Algebra & Logic 48 (5), 2009 | 22 | 2009 |
Scattered linear orderings with no computable presentation AN Frolov Lobachevskii J. Math 35 (1), 19-22, 2014 | 20 | 2014 |
Spectra of algebraic fields and subfields A Frolov, I Kalimullin, R Miller Conference on Computability in Europe, 232-241, 2009 | 20 | 2009 |
Effective Categoricity of Computable Linear Orderings. A Frolov Algebra & Logic 54 (5), 2015 | 18 | 2015 |
Presentations of the successor relation of computably linear ordering AN Frolov Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 73-85, 2010 | 18 | 2010 |
-копии линейных порядков АН Фролов Алгебра и логика 45 (3), 354-370, 2006 | 15 | 2006 |
Линейные порядки низкой степени АН Фролов Сиб. мат. журн 51 (5), 1147-1162, 2010 | 14 | 2010 |
Вычислимость на линейных порядках, обогащённых предикатами ПЕ Алаев, Д Тёрбер, АН Фролов Алгебра и логика 48 (5), 549-563, 2009 | 12 | 2009 |
Представления отношения соседства вычислимого линейного порядка АН Фролов Известия высших учебных заведений. Математика, 73-85, 2010 | 10 | 2010 |
A note on Δ 2 0 -Spectra of linear orderings and degree spectra of the successor relation AN Frolov Russian Mathematics 57, 65-68, 2013 | 7 | 2013 |
Strong jump inversion W Calvert, A Frolov, V Harizanov, J Knight, C McCoy, A Soskova, S Vatev Journal of Logic and Computation 28 (7), 1499-1522, 2018 | 6 | 2018 |
Computable presentability of countable linear orders AN Frolov Itogi Nauki i Tekhniki. Seriya" Sovremennaya Matematika i ee Prilozheniya …, 2018 | 5 | 2018 |
Заметка о -спектрах линейных порядков и спектрах отношения соседства на них АН Фролов Известия высших учебных заведений. Математика, 74-78, 2013 | 5 | 2013 |