Александрова Светлана Анатольевна

Публикации в базе данных Math-Net.Ru

1. О разрешимости списочных структур
   
   Сиб. матем. журн., 60:3 (2019),  489–505
2. О $\Sigma$-определимости в наследственно конечных надстройках и вычислимом анализе
   
   Сиб. матем. журн., 59:5 (2018),  970–975
3. О $\Sigma$-определимости наследственно конечной и списочной надстроек
   
   Сиб. журн. чист. и прикл. матем., 18:1 (2018),  3–10
4. Об униформизации в надстройках над некоторыми расширениями $\mathbb R$
   
   Алгебра и логика, 54:4 (2015),  431–438
5. Проблема униформизации для $\Sigma$-предикатов в наследственно конечной списочной надстройке над полем действительных чисел с экспонентой
   
   Алгебра и логика, 53:1 (2014),  3–14