Mariya Ivanova Soskova

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 17

Top Topics

Continuous Functions

Hierarchical Organization

Global Structure

Top Venues

Ann. Pure Appl. Log.

Computability and Complexity

Publications

Steffen Lempp, Joseph S. Miller, Arno Pauly, Mariya Ivanova Soskova, Manlio Valenti
Minimal covers in the Weihrauch degrees. CoRR (2023)
Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova
Maximal Towers and Ultrafilter Bases in Computability Theory. J. Symb. Log. 88 (3) (2023)
Mariya Ivanova Soskova
The Relationship Between Local and Global Structure in the Enumeration Degrees. CiE (2023)
Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova
Expanding the Reals by continuous Functions Adds no Computational Power. J. Symb. Log. 88 (3) (2023)
Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
Pa Relative to an Enumeration Oracle. J. Symb. Log. 88 (4) (2023)
Jun Le Goh, Steffen Lempp, Keng Meng Ng, Mariya Ivanova Soskova
Extensions of two constructions of Ahmad. Comput. 11 (3-4) (2022)
Hristo Aleksndrov Ganchev, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
A Structural Dichotomy in the Enumeration Degrees. J. Symb. Log. 87 (2) (2022)
Vasco Brattka, Noam Greenberg, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021. Comput. 11 (3-4) (2022)
Mathieu Hoyrup, Arno Pauly, Victor L. Selivanov, Mariya Ivanova Soskova
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461). Dagstuhl Reports 11 (10) (2021)
Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova, Mariya Ivanova Soskova, Peter van Emde Boas, Stanley S. Wainer
S. Barry Cooper (1943-2015). Comput. 7 (2-3) (2018)
Hristo Aleksndrov Ganchev, Mariya Ivanova Soskova
The jump hierarchy in the enumeration degrees. Comput. 7 (2-3) (2018)
Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova
Enumeration 1-Genericity in the Local Enumeration Degrees. Notre Dame J. Formal Log. 59 (4) (2018)
Joseph S. Miller, Mariya Ivanova Soskova
Corrigendum to "Advice classes of parameterized tractability" [Ann. Pure Appl. Logic 84 (1) (1997) 119-138]. Ann. Pure Appl. Log. 169 (5) (2018)
Alexandra A. Soskova, Mariya Ivanova Soskova
Enumeration Reducibility and Computable Structure Theory. Computability and Complexity (2017)
Uri Andrews, Rutger Kuyper, Steffen Lempp, Mariya Ivanova Soskova, Mars M. Yamaleev
Nondensity of Double Bubbles in the D.C.E. Degrees. Computability and Complexity (2017)
Mingzhong Cai, Steffen Lempp, Joseph S. Miller, Mariya Ivanova Soskova
On Kalimullin pairs. Comput. 5 (2) (2016)
Mariya Ivanova Soskova
The automorphism group of the enumeration degrees. Ann. Pure Appl. Log. 167 (10) (2016)
S. Barry Cooper, Mariya Ivanova Soskova
The incomputable. J. Log. Comput. 23 (6) (2013)
Mariya Ivanova Soskova
The Turing Universe in the Context of Enumeration Reducibility. CiE (2013)
Hristo Ganchev, Mariya Ivanova Soskova
The high/low hierarchy in the local structure of the omega-enumeration degrees. Ann. Pure Appl. Log. 163 (5) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
Interpreting true arithmetic in the local structure of the enumeration degrees. J. Symb. Log. 77 (4) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
Cupping and definability in the local structure of the enumeration degrees. J. Symb. Log. 77 (1) (2012)
Mariya Ivanova Soskova, Ivan N. Soskov
-enumeration degrees. J. Log. Comput. 22 (4) (2012)
Hristo Ganchev, Mariya Ivanova Soskova
enumeration degrees. J. Log. Comput. 22 (4) (2012)
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
enumeration degrees. Theor. Comput. Sci. 412 (18) (2011)
Ivan N. Soskov, Mariya Ivanova Soskova
Kalimullin Pairs of §02 w-Enumeration Degrees. Int. J. Softw. Informatics 5 (4) (2011)
Mariya Ivanova Soskova
The limitations of cupping in the local structure of the enumeration degrees. Arch. Math. Log. 49 (2) (2010)
Mariya Ivanova Soskova
A non-splitting theorem in the enumeration degrees. Ann. Pure Appl. Log. 160 (3) (2009)
Mariya Ivanova Soskova, Guohua Wu
'. Math. Struct. Comput. Sci. 19 (1) (2009)
S. Barry Cooper, Mariya Ivanova Soskova
How enumeration reducibility yields extended Harrington non-splitting. J. Symb. Log. 73 (2) (2008)
Mariya Ivanova Soskova
Cupping Classes of Enumeration Degrees. CiE (2008)
George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova
Randomness, lowness and degrees. J. Symb. Log. 73 (2) (2008)
Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin, Mariya Ivanova Soskova
Total Degrees and Nonsplitting Properties of Enumeration Degrees. TAMC (2008)
Mariya Ivanova Soskova, Guohua Wu
'. CiE (2007)
George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova
Degrees. TAMC (2007)
Mariya Ivanova Soskova, S. Barry Cooper
The Strongest Nonsplitting Theorem. TAMC (2007)
Mariya Ivanova Soskova
Genericity and Non-bounding in the Enumeration degrees. J. Log. Comput. 17 (6) (2007)
Mariya Ivanova Soskova
A Generic Set That Does Not Bound a Minimal Pair. TAMC (2006)