Андрей Фролов / Andrey Frolov
Андрей Фролов / Andrey Frolov
КФУ / Kazan Federal University
Verified email at kpfu.ru - Homepage
Title
Cited by
Cited by
Year
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
362010
Categoricity spectra for rigid structures
E Fokina, A Frolov, I Kalimullin
Notre Dame Journal of Formal Logic 57 (1), 45-57, 2016
332016
Δ20-copies of linear orderings
AN Frolov
Algebra and Logic 45 (3), 201-209, 2006
292006
Low linear orderings
AN Frolov
Journal of Logic and Computation 22 (4), 745-754, 2010
272010
Increasing η ‐representable degrees
AN Frolov, MV Zubkov
Mathematical Logic Quarterly 55 (6), 633-636, 2009
262009
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
192009
Effective categoricity of computable linear orderings
AN Frolov
Algebra and Logic 54 (5), 415-417, 2015
182015
Linear orderings of low degree
AN Frolov
Siberian mathematical journal 51 (5), 913-925, 2010
182010
Spectra of algebraic fields and subfields
A Frolov, I Kalimullin, R Miller
Conference on Computability in Europe, 232-241, 2009
162009
Spectra of algebraic fields and subfields
A Frolov, I Kalimullin, R Miller
Conference on Computability in Europe, 232-241, 2009
162009
Computability on linear orderings enriched with predicates
PE Alaev, J Thurber, AN Frolov
Algebra and Logic 48 (5), 313, 2009
152009
Scattered linear orderings with no computable presentation
A Frolov
Lobachevskii J. Math 35 (1), 19-22, 2014
142014
Presentations of the successor relation of computably linear ordering
AN Frolov
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 73-85, 2010
142010
-копии линейных порядков
АН Фролов
Алгебра и логика 45 (3), 354-370, 2006
142006
Линейные порядки низкой степени
АН Фролов
Сиб. мат. журн 51 (5), 1147-1162, 2010
112010
Вычислимость на линейных порядках, обогащённых предикатами
ПЕ Алаев, Д Тёрбер, АН Фролов
Алгебра и логика 48 (5), 549-563, 2009
112009
Presentations of the successor relation of computably linear ordering
AN Frolov
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 73-85, 2010
82010
Представления отношения соседства вычислимого линейного порядка
АН Фролов
Известия высших учебных заведений. Математика, 73-85, 2010
82010
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
52018
A note on Δ 2 0-Spectra of linear orderings and degree spectra of the successor relation
AN Frolov
Russian Mathematics 57 (11), 65-68, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20