Aleksandrova Svetlana Anatol'evna

Publications in Math-Net.Ru

1. On decidability of list structures
   
   Sibirsk. Mat. Zh., 60:3 (2019),  489–505
2. $\Sigma$-definability in hereditarily finite superstructures and computable analysis
   
   Sibirsk. Mat. Zh., 59:5 (2018),  970–975
3. On $\Sigma$-definability of hereditarily finite and list superstructures
   
   Sib. J. Pure and Appl. Math., 18:1 (2018),  3–10
4. Uniformization in superstructures over some extensions of $\mathbb R$
   
   Algebra Logika, 54:4 (2015),  431–438
5. The uniformization problem for $\Sigma$-predicates in a hereditarily finite list superstructure over the real exponential field
   
   Algebra Logika, 53:1 (2014),  3–14