Подписаться
Alexandra Soskova
Alexandra Soskova
Sofia University, Faculty of Mathematics and Informatics
Подтвержден адрес электронной почты в домене fmi.uni-sofia.bg - Главная страница
Название
Процитировано
Процитировано
Год
A jump inversion theorem for the degree spectra
AA Soskova, IN Soskov
Journal of Logic and Computation 19 (1), 199-215, 2009
472009
On cototality and the skip operator in the enumeration degrees
U Andrews, H Ganchev, R Kuyper, S Lempp, J Miller, A Soskova, ...
Transactions of the American Mathematical Society 372 (3), 1631-1670, 2019
272019
A jump inversion theorem for the degree spectra
AA Soskova
Computation and Logic in the Real World: Third Conference on Computability …, 2007
172007
Co-spectra of joint spectra of structures
AA Soskova, IN Soskov
Ann. Univ. Sofia 96, 35-44, 2004
152004
Enumeration reducibility and computable structure theory
AA Soskova, MI Soskova
Computability and Complexity: Essays Dedicated to Rodney G. Downey on the …, 2017
82017
Interpreting a field in its Heisenberg group
R Alvir, W Calvert, G Goodman, V Harizanov, J Knight, R Miller, ...
The Journal of Symbolic Logic 87 (3), 1215-1230, 2022
72022
Coding in graphs and linear orderings
JF Knight, AA Soskova, SV Vatev
The Journal of Symbolic Logic 85 (2), 673-690, 2020
62020
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
Minimal pairs and quasi-minimal degrees for the joint spectra of structures
AA Soskova
New Computational Paradigms: First Conference on Computability in Europe …, 2005
62005
Effective enumerations of abstract structures
AA Soskova, IN Soskov
Mathematical Logic, 361-372, 1990
61990
Cohesive powers of linear orders
R Dimitrov, V Harizanov, A Morozov, P Shafer, A Soskova, S Vatev
Conference on Computability in Europe, 168-180, 2019
52019
Properties of co-spectra of joint spectra of structures
A Soskova
Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and …, 2005
42005
On cohesive powers of linear orders
R Dimitrov, V Harizanov, A Morozov, P Shafer, AA Soskova, SV Vatev
The Journal of Symbolic Logic 88 (3), 947-1004, 2023
32023
A Lopez-Escobar theorem for continuous domains
N Bazhenov, E Fokina, D Rossegger, A Soskova, S Vatev
The Journal of Symbolic Logic, 1-17, 2023
32023
Relativized degree spectra
AA Soskova
Journal of Logic and Computation 17 (6), 1215-1233, 2007
32007
Jump spectra of abstract structures
AA Soskova, IN Soskov
Proceeding of the 6th Panhellenic Logic Symposium, Volos, Greece, 114-117, 2007
32007
Relativized degree spectra
AA Soskova
Logical Approaches to Computational Barriers: Second Conference on …, 2006
32006
Quasi-minimal degrees for degree spectra
AA Soskova, IN Soskov
Journal of Logic and Computation 23 (6), 1319-1334, 2013
22013
Turing reducibility and Enumeration reducibility
AA Soskova
22010
Co-spectra of joint spectra of sequences of structures
AA Soskova
4th Panhellenic Logic Symposium, Thessaloniki, Greece, 175-179, 2003
22003
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20