Подписаться
Андрей Фролов / Andrey Frolov
Андрей Фролов / Andrey Frolov
КФУ / Kazan Federal University
Подтвержден адрес электронной почты в домене kpfu.ru - Главная страница
Название
Процитировано
Процитировано
Год
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
402010
Categoricity spectra for rigid structures
E Fokina, A Frolov, I Kalimullin
382016
Δ 2 0 -copies of linear orderings
AN Frolov
Algebra and Logic 45, 201-209, 2006
372006
Low linear orderings
AN Frolov
Journal of Logic and Computation 22 (4), 745-754, 2010
342010
Increasing η ‐representable degrees
AN Frolov, MV Zubkov
Mathematical Logic Quarterly 55 (6), 633-636, 2009
292009
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
292009
Linear orderings of low degree
AN Frolov
Siberian mathematical journal 51, 913-925, 2010
252010
Computability on linear orderings enriched with predicates.
PE Alaev, J Thurber, AN Frolov
Algebra & Logic 48 (5), 2009
222009
Scattered linear orderings with no computable presentation
AN Frolov
Lobachevskii J. Math 35 (1), 19-22, 2014
202014
Spectra of algebraic fields and subfields
A Frolov, I Kalimullin, R Miller
Conference on Computability in Europe, 232-241, 2009
202009
Spectra of algebraic fields and subfields
A Frolov, I Kalimullin, R Miller
Conference on Computability in Europe, 232-241, 2009
202009
Effective categoricity of computable linear orderings
AN Frolov
Algebra and Logic 54 (5), 415-418, 2015
182015
Presentations of the successor relation of computably linear ordering
AN Frolov
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 73-85, 2010
172010
-копии линейных порядков
АН Фролов
Алгебра и логика 45 (3), 354-370, 2006
152006
Линейные порядки низкой степени
АН Фролов
Сиб. мат. журн 51 (5), 1147-1162, 2010
142010
Вычислимость на линейных порядках, обогащённых предикатами
ПЕ Алаев, Д Тёрбер, АН Фролов
Алгебра и логика 48 (5), 549-563, 2009
122009
Представления отношения соседства вычислимого линейного порядка
АН Фролов
Известия высших учебных заведений. Математика, 73-85, 2010
102010
Presentations of the successor relation of computably linear ordering
AN Frolov
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 73-85, 2010
92010
A note on Δ 2 0 -Spectra of linear orderings and degree spectra of the successor relation
AN Frolov
Russian Mathematics 57, 65-68, 2013
72013
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
62018
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20