Глава от книга |
1
|
Theodore A. Slaman, Mariya I. Soskova, The enumeration degrees: local and global structural interaction, ISBN:978-1-4704-2256-1 e-978-1-4704-4079-4, Contemporary Mathematics, American Math. Soc., American Mathematical Society, USA, Ref, Рецензирано, International
|
2017
|
2
|
Mariya Soskova, S. Barry Cooper, The Incomputable
Journeys Through the Turing Barrier, ISBN:ISBN 978-3-319-43669-2, Springer, Germany, Ref, Рецензирано, International
|
2016
|
Дисертация д-р |
|
Мария Иванова Соскова, The Local Structure of the Enumeration Degrees, University of Leeds, Ръководител:S Barry Cooper
|
2008
|
Книга |
|
Alexandra Soskova, Mariya Soskova, Hristo Ganchev, Stela Nikolova, Collected works of Ivan Soskov, ISBN:978-954-07-3758-4, St. Kliment Ohridski University Press, Sofia, Рецензирано
|
2014
|
Научен проект |
1
|
Мария Соскова, Ефективни свойства на абстрактни структури, Член, МОН, ФНИ
|
2019
|
2
|
Мария Соскова, Алгебрични системи и номерационни оператори, Член, МОН, ФНИ, Номер на договора:ДНТС/Русия 01/8 от 23.6.2017 г.
|
2017
|
3
|
Мария Соскова, Определимост в алгебрични струтури и степенни структури, Член, ФНИ СУ
|
2017
|
4
|
Мария Соскова, Collaboration in Computability, Член, US National Science Foundation , Номер на договора:NSF grant DMS-1600625
|
2016
|
5
|
Мария Соскова, Модели на изчислимост, Член, ФНИ МОН, Номер на договора:ДН 02/16 (19.12.2016)
|
2016
|
6
|
Мария Соскова, Collaboration in Computability, Член, The National Science Foundation, USA, Номер на договора:1101123
|
2012
|
7
|
Мария Соскова, Semantics and Syntax, Член, Isaac Newton Institute for the Mathematical Sciences
|
2012
|
8
|
Мария Соскова, The Spectrum of Relative Definability, Член, European Commission, Номер на договора:PIOF-GA-2011-298471
|
2012
|
9
|
Мария Соскова, THE INCOMPUTABLE – What is the role of incomputability in advancing human knowledge, Член, The John Templeton Foundation, Номер на договора:15634
|
2011
|
10
|
Мария Соскова, Определимост в в Степенни Структури, Член, Фонд Научни Изследвания на МОМН, Номер на договора:ДМУ 03/07 от 12.12.2011
|
2011
|
11
|
Мария Соскова, Computability With Partial Information, Член, European Commission, Номер на договора:FP7-PEOPLE-ERG-2008, MC, 239193
|
2009
|
12
|
Мария Соскова, Изчислимост с частична информация, Член, Фонд Научни Изследвания на МОМН, Номер на договора:D002-258/18.12.08
|
2008
|
Научно ръководство |
1
|
Мария Соскова, Връзки между номерационна и Тюрингова сводимост, СУ дисертация д-р:Александър Терзииванов
|
2018
|
2
|
Мария Соскова, Омега -Тюрингови Степени, Софийски Университет "Св. Климент Охридски" дипломна работа:Андрей Сариев
|
2011
|
Редактор на издание нереферирано |
1
|
Мария Соскова, Collection of Unpublished Abstracts Eleventh Conference on Computability in Europe CiE 2015: Evolving Computability Bucharest, Romania, June 29 - July 3, 2015, Редактор на издание нереферирано
|
2014
|
2
|
Alexandra Soskova, Mariya Soskova, Hristo Ganchev, Stela Nikolova, Collected works of Ivan Soskov, Редактор на издание нереферирано
|
2013
|
3
|
Мария Соскова, CiE 2011: Models of Computation in Context, Abstract Booklet, Редактор на издание нереферирано
|
2011
|
Редактор на издание реферирано |
1
|
Мария Соскова, Archive for Mathematical Logic, Редактор на издание реферирано
|
2019
|
2
|
Мария Соскова, Transactions of the American Mathematical Society, Редактор на издание реферирано
|
2019
|
3
|
Мария Соскова, Lecture Notes in Computer Science 9136, “Evolving Computability”, 11th Conference on Computability in Europe Proceedings, Springer., Редактор на издание реферирано
|
2014
|
4
|
Мария Соскова, Mathematical Logic Quarterly, Редактор на издание реферирано
|
2014
|
5
|
Мария Соскова, Journal of Logic and Computation, Редактор на издание реферирано
|
2013
|
6
|
Мария Соскова, The Incomputable: Journeys Beyond the Turing Barrier, Springer International Publishing AG, ISBN 978-3-319-43667-8 (2017)., Редактор на издание реферирано
|
2012
|
Статия в научно списание |
1
|
Hristo Ganchev, Iskander Kalimullin, Joseph S. Miller, Mariya I. Soskova, A structural dichotomy in the enumeration degrees , Journal of Symbolic Logic, 2019, ISSN (print):0022-4812, ISSN (online):1943-5886, Ref, Web of Science, IF (0.572 - 2018), Web of Science Quartile: Q3 (Logic 12/20 WOS), SCOPUS, SJR (0.904 - 2018), SCOPUS Quartile: Q1 (Logic/Scopus), International
|
2019
|
2
|
Uri Andrews, Gregory Igusa, Joseph S. Miller, Mariya I. Soskova, Characterizing the continuous degrees, Israel Journal of Math, vol:234, issue:2, 2019, pages:743-767, ISSN (print):0021-2172 , ISSN (online): 1565-8511, doi:https://doi.org/10.1007/s11856-019-1943-x, Ref, Web of Science, IF (0.764 - 2018), Web of Science Quartile: Q2 (154/313 Math WOS), SCOPUS, SJR (1.309 - 2018), SCOPUS Quartile: Q1 (Math/Scopus), International
|
2019
|
3
|
Uri Andrews, Hristo A. Ganchev, Rutger Kuyper, Steffen Lempp, Joseph S. Miller, Alexandra Soskova, Mariya I. Soskova, On cototality and the skip operator in the enumeration degrees, Transactions of the American Mathematical Society, vol:372, issue:3, 2019, pages:1631-1670, ISSN (print):1088-6850, ISSN (online):0002-9947, doi:https://doi.org/10.1090/tran/7604 , Ref, Web of Science, IF (1.363 - 2019), Web of Science Quartile: Q1 (60/365 Mathematics 2019), SCOPUS, SJR (2.022 - 2019), SCOPUS Quartile: Q1 (Mathematics 2019), International
|
2019
|
4
|
Peter Cholak, Gregory Igusa, Ludovic Patey, Mariya I. Soskova, Dan Turetsky, The Rado path decomposition theorem, Israel Journal of Math, vol:234, issue:1, 2019, pages:179-208, ISSN (print):0021-2172, ISSN (online):1565-8511, doi: https://doi.org/10.1007, Ref, Web of Science, IF (0.564 - 2018), Web of Science Quartile: Q2 (154/313 Math WOS), SCOPUS, SJR (1.309 - 2018), SCOPUS Quartile: Q1 (Math/Scopus), International
|
2019
|
5
|
Joseph S. Miller, Mariya I. Soskova, Density of the cototal enumeration degrees, Ann. Pure Appl. Logic, vol:165, issue:5, 2018, pages:450-462, ISSN (print):0168-0072, doi:https://doi.org/10.1016/j.apal.2018.01.001, Ref, Web of Science, IF (1.177 - 2018), Web of Science Quartile: Q1 (3/20 Logic WOS), SCOPUS, SJR (1.226 - 2018), SCOPUS Quartile: Q1 (Logic Scopus), International
|
2018
|
6
|
Liliana Badillo, Charles Harris, Mariya Soskova, Enumeration 1-Genericity in the Local Enumeration Degrees
, Notre Dame Journal of Formal logic, vol:59, issue:4, 2018, ISSN (print):0029-4527, ISSN (online):1939-0726 , doi:doi:10.1215/00294527-2018-0008, Ref, Web of Science, IF (0.578 - 2018), Web of Science Quartile: Q2 (10/20 Logic WOS), SCOPUS, SJR (0.342 - 2018), SCOPUS Quartile: Q3 (Logic Scopus), International, PhD
|
2018
|
7
|
Richard Elwes, Andy Lewis-Pye, Benedikt L¨owe, Dugald Macpherson, Dag Normann, Alexandra A. Soskova, Mariya I. Soskova, Peter van Emde Boas, Stan Wainer, S. Barry Cooper (1943–2015), Computability, vol:7, issue:2-3, 2018, pages:103-131, ISSN (print):2211-3568 , ISSN (online):2221-3576, doi:DOI: 10.3233/com-180092, Ref, IR , SCOPUS, SJR (0.458 - 2018), SCOPUS Quartile: Q2 (CS/Scopus), International
|
2018
|
8
|
Theodore A. Slaman, Mariya I. Soskova, The Delta-0-2 Turing degrees: automorphisms and definability, Trans. American Math. Soc., vol:370, issue:2, 2018, pages:1351-1375, ISSN (print):0002-9947, ISSN (online):1088-6850, doi:https://doi.org/10.1090/tran/7187, Ref, Web of Science, IF (1.318 - 2018), Web of Science Quartile: Q1 (50/313 Math WOS), SCOPUS, SJR (2.165 - 2018), SCOPUS Quartile: Q1 (Math/Scopus), International
|
2018
|
9
|
Hristo Ganchev, Mariya I. Soskova, The jump hierarchy in the enumeration degrees, Computability, vol:7, issue:2-3, 2018, pages:179-188, ISSN (print):2211-3568, ISSN (online): 2211-3576, doi:10.3233/COM-170072, Ref, SCOPUS, SJR (0.458 - 2018), SCOPUS Quartile: Q2 (Comp. Th and Math)
|
2018
|
10
|
M. Cai, H. A. Ganchev, S. Lempp, J. S. Miller, M. I. Soskova, Defining totality in the enumeration degrees, Journal of the American Mathematical Society, vol:29, issue:4, 2016, pages:1051-1067, ISSN (print):0894-0347, ISSN (online):1088-6834, doi:http://dx.doi.org/10.1090/jams/848#sthash.V06vmkKh.dpuf, Ref, Web of Science, IF (4.692 - 2016), Web of Science Quartile: Q1 (2/311 Math WOS), SCOPUS, SJR (10.724 - 2016), SCOPUS Quartile: Q1 (Math/Scopus 2016), International
|
2016
|
11
|
Damir Dzhafarov, Peter Cholak, Mariya I. Soskova, Generics for Mathias forcing over general Turing ideals, Israel Journal of Math. , vol:216, issue:2, 2016, pages:583-604, ISSN (print):0021-2172, ISSN (online):1565-8511, doi:DOI: 10.1007/s11856-016-1420-8, Ref, Web of Science, IF (0.796 - 2016), Web of Science Quartile: Q2 (105/311 Math WOS), SCOPUS, SJR (1.487 - 2016), SCOPUS Quartile: Q1 (Math), International
|
2016
|
12
|
M. Cai, S. Lempp, J. S. Miller, M. I. Soskova, On Kalimullin pairs, Computability, vol:5, issue:2, 2016, pages:111-126, ISSN (print):22113576, ISSN (online): 22113568, doi:10.3233/COM-150046, Ref, SCOPUS, SJR (0.479 - 2016), SCOPUS Quartile: Q2 (TCS/Scopus), International
|
2016
|
13
|
Mariya I. Soskova, The automorphism group of the enumeration degrees, Annals of pure and applied logic, vol:161, issue:10, 2016, pages:982-999, ISSN (print):0168-0072, doi:https://doi.org/10.1016/j.apal.2014.01.007, Ref, Web of Science, IF (0.647 - 2016), Web of Science Quartile: Q2 (10/21 Logic WOS), SCOPUS, SJR (0.871 - 2016), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2016
|
14
|
Hristo A. Ganchev, Mariya I. Soskova, Definability via Kalimullin pairs in the structure of the enumeration degrees, Transactions of the American Mathematical Society, vol:367, issue:7, 2015, pages:4873-4893, ISSN (print):0002-9947, ISSN (online):088-6850, doi:https://doi.org/10.1090/S0002-9947-2014-06157-6 , Ref, Web of Science, IF (1.196 - 2015), Web of Science Quartile: Q1 (34/312 Math WOS), SCOPUS, SJR (2.172 - 2015), SCOPUS Quartile: Q1 (Math/ Scopus)
|
2015
|
15
|
Hristo Ganchev, Mariya Soskova, Cupping and definability in
the local structure of the enumeration degrees, Journal of Symbolic Logic, vol:77, issue:1, 2012, pages:133-158, ISSN (print):0022-4812, doi:https://doi.org/10.2178/jsl/1327068696, Ref, Web of Science, IF (0.535 - 2012), Web of Science Quartile: Q2 (6/20 Logic WOS), SCOPUS, SJR (0.93 - 2012), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2012
|
16
|
Mariya Soskova, Ivan Soskov, Embedding Countable Partial
Orderings in the Enumeration Degrees and the Omega Enumeration
Degrees, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:927-952, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:https://doi.org/10.1093/logcom/exq051, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (5/20 Logic WOS), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Arts&Hum/Scopus)
|
2012
|
17
|
Hristo Ganchev, Mariya Soskova, Embedding Distributive
Lattices in the Sigma-0-2 Enumeration Degrees, Journal of Logic and Computation, vol:22, issue:4, 2012, pages:779-792, ISSN (print):0955-792X, ISSN (online):1465-363X, doi:doi:10.1093/logcom/exq042, Ref, Web of Science, IF (0.647 - 2012), Web of Science Quartile: Q1 (5/20 Logic WOS), SCOPUS, SJR (0.844 - 2012), SCOPUS Quartile: Q1 (Arts&Hum/Scopus)
|
2012
|
18
|
Hristo Ganchev, Mariya Soskova, Interpreting true arithmetic in
the local structure of the enumeration degrees, Journal of Symbolic Logic, vol:77, issue:4, 2012, pages:1184-1194, ISSN (print):0022-4812, ISSN (online):1943-5886 , doi:https://doi.org/10.2178/jsl.7704070, Ref, Web of Science, IF (0.535 - 2012), Web of Science Quartile: Q2 (6/20 Logic WOS), SCOPUS, SJR (0.93 - 2012), SCOPUS Quartile: Q1 (Logic/Scopus)
|
2012
|
19
|
Hristo Ganchev, Mariya Soskova, The High/Low Hierarchy in the
Local Structure of the omega-Enumeration Degrees, Annals of Pure and Applied Logic, vol:163, issue:5, 2012, pages:547-566, ISSN (print):0168-0072, doi:https://doi.org/10.1016/j.apal.2010.10.004, Ref, Web of Science, IF (0.504 - 2012), Web of Science Quartile: Q2 (8/20 Logic/WOS), SCOPUS, SJR (0.864 - 2012), SCOPUS Quartile: Q2 (Logic/Scopus)
|
2012
|
20
|
Ivan Soskov, Mariya Soskova, Kalimullin pairs of
Sigma-0-2 omega-enumeration degrees, International Journal of Software and Informatics, vol:5, issue:4, 2011, pages:637-658, ISSN (print):1673-7288, Ref, др.(DPLP, IC(Index Copernicus), Ulrichsweb, CSA(Techno)
|
2011
|
21
|
Marat Arslanov, S. Barry Cooper, Iskander Kalimullin, Mariya Soskova, Splitting and Nonsplitting in the Sigma-0-2
Enumeration Degrees, Theoretical Computer Science, vol:412, issue:18, 2011, pages:1669-1685, ISSN (print):0304-3975, doi:https://doi.org/10.1016/j.tcs.2010.12.042, Ref, Web of Science, IF (0.665 - 2011), Web of Science Quartile: Q3 (59/99 CS WOS), SCOPUS, SJR (0.747 - 2011), SCOPUS Quartile: Q1 (CS/Scopus), International
|
2011
|
22
|
Mariya Soskova, The Limitations of Cupping in the Local
Structure of the Enumeration Degrees, Archive for Mathematical Logic, vol:49, issue:2, 2010, pages:169-193, ISSN (print):0933-5846, ISSN (online):1432-0665, doi:https://doi.org/10.1007/s00153-009-0171-1, Ref, Web of Science, IF (0.414 - 2010), Web of Science Quartile: Q3 (219/279 Math WOS), SCOPUS, SJR (0.568 - 2010), SCOPUS Quartile: Q1 (Phil/2010 Scopus)
|
2010
|
23
|
Mariya Soskova, A Non-splitting Theorem in the Enumeration
Degrees, Annals of Pure and Applied Logic, vol:160, issue:3, 2009, pages:400-418, ISSN (print):01680072, doi:https://doi.org/10.1016/j.apal.2009.01.009, Ref, Web of Science, IF (0.667 - 2009), Web of Science Quartile: Q2 (113/255 Math WOS), SCOPUS, SJR (0.541 - 2009), SCOPUS Quartile: Q2 (Logic 2009/Scopus)
|
2009
|
24
|
Mariya Soskova, Guohua Wu, Cupping Delta-0-2 Enumeration
Degrees to 0', Mathematical Structures in Computer Science, vol:19, issue:1, 2009, pages:169-191, ISSN (print):09601295, ISSN (online):14698072, doi:https://doi.org/10.1017/S0960129508007378, Ref, Web of Science, IF (0.838 - 2009), Web of Science Quartile: Q3 (59/92 CS WOS), SCOPUS, SJR (0.817 - 2009), SCOPUS Quartile: Q2 (Math/Scopus), International
|
2009
|
25
|
Mariya Soskova, S. Barry Cooper, How Enumeration Reducibility Yields Extended Harrington
Non-Splitting, Journal of Symbolic Logic, vol:73, issue:2, 2008, pages:634-655, ISSN (print):00224812, doi:https://doi.org/10.2178/jsl/1208359064, Ref, Web of Science, IF (0.439 - 2008), Web of Science Quartile: Q3 (156/215 Math/WOS), SCOPUS, SJR (0.737 - 2008), SCOPUS Quartile: Q1 (Phil/2008 Scopus), International
|
2008
|
26
|
George Barmpalias, Andy Lewis, Mariya Soskova, Randomness, Lowness and Degrees, Journal of Symbolic Logic, vol:73, issue:2, 2008, pages:559-577, ISSN (print):00224812, doi:https://doi.org/10.2178/jsl/1208359060, Ref, Web of Science, IF (0.439 - 2008), Web of Science Quartile: Q3 (158/2015 Math WOS), SCOPUS, SJR (737 - 2008), SCOPUS Quartile: Q1 (Phil/2008 Scopus)
|
2008
|
27
|
Mariya Soskova, Genericity and Nonbounding, Journal of Logic and Computation, vol:17, 2007, pages:1235-1255, ISSN (print):0955792X,, ISSN (online):1465363X, doi:10.1093/logcom/exm042 , Ref, Web of Science, IF (0.821 - 2007), Web of Science Quartile: Q2 (39/79 Math WOS), SCOPUS, SJR (0.961 - 2007), SCOPUS Quartile: Q1 (Arts&Hum/Scopus)
|
2007
|
Статия в сборник (на конференция и др.) |
1
|
A. A. Soskova, M. I. Soskova, Enumeration degrees and computable structure theory, Computability and Complexity, Downey Festschrift, Lecture Notes of Computer Science vol. 10010,10010, editor/s:Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond , Publisher:Springer, 2017, pages:271-301, ISSN (print):0302-9743, ISSN (online):1611-3349, ISBN:978-3-319-50061-4, doi: DOI:10.1007/978-3-319-50062-1_19, Ref, IR , SCOPUS, SJR (0.295 - 2017), SCOPUS Quartile: Q2 (Comp. Sci/ Scopus), MathSciNet(MR3629727)
|
2017
|
2
|
Uri Andrews, Rutger Kuyper, Steffen Lempp, Mariya Soskova, Nondensity of Double Bubbles in the D.C.E. Degrees, Computability and Complexity, Downey Festschrift, LNCS 10010, editor/s:Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond, Publisher:Springer, 2017, pages:547-562, ISSN (print):03029743, ISBN:978-3-319-50062-1, doi:10.1007/978-3-319-50062-1_33, Ref, IR , SCOPUS, SJR (0.399 - 2016), SCOPUS Quartile: Q2 (Comp. Sci.), International
|
2017
|
3
|
Mariya I. Soskova, The Turing universe in the context of enumeration reducibility, Lecture Notes in Computer Science vol. 7921, editor/s:Paola Bonizzoni, Vasco Brattka, Benedikt Loewe, Publisher:Springer, 2013, pages:371-383, ISSN (print):03029743, ISBN:978-3-642-39052-4/e-978-3-642-39053-1, doi:https://doi.org/10.1007/978-3-642-39053-1_44, Ref, IR , SCOPUS, SJR (0.36 - 2013), SCOPUS Quartile: Q2 (CS/Scopus)
|
2013
|
4
|
Mariya I. Soskova, Cupping Classes of Sigma-0-2 Enumeration Degrees, Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. , editor/s:Beckmann A., Dimitracopoulos C., Löwe B., Publisher:Springer, Berlin, Heidelberg, 2008, pages:554-566, ISSN (print):978-3-540-69405-2 , ISSN (online): 978-3-540-69407-6 , doi:https://doi.org/10.1007/978-3-540-69407-6_59, Ref, SCOPUS, SJR (0.277 - 2008), SCOPUS Quartile: Q2 (CS/Scopus)
|
2008
|
5
|
M. M. Arslanov, S. Barry Cooper, I. Sh. Kalimullin, M. I. Soskova, Total Degrees and Nonsplitting Properties of Sigma-0-2
Enumeration Degrees, Theory and Applications of Models of Computation. TAMC 2008. Lecture Notes in Computer Science, vol 4978. , editor/s:Agrawal M., Du D., Duan Z., Li A., Publisher:Springer, Berlin, Heidelberg, 2008, pages:568-578, ISBN:978-3-540-79227-7, e- 978-3-540-79228-4, doi:https://doi.org/10.1007/978-3-540-79228-4_49, Ref, SCOPUS, SJR (0.277 - 2008), SCOPUS Quartile: Q2 (CS/Scopus), International
|
2008
|
6
|
Mariya I. Soskova, Gouhua Wu, Cupping Δ02 enumeration degrees to 0′, Computation and Logic in the Real World , editor/s:Cooper S.B., Löwe B., Sorbi A. , Publisher:Springer, 2007, pages:727-738, ISBN:978-3-540-73000-2, e- 978-3-540-73001-9, doi:https://link.springer.com/chapter/10.1007/978-3-540-73001-9_77#citeas, Ref, IR , SCOPUS, SJR (0.293 - 2007), SCOPUS Quartile: Q2 (CS/Scopus), International
|
2007
|
7
|
Mariya Ivanova Soskova, Barry Cooper, The Strongest Nonsplitting Theorem. , Theory and Applications of Models of Computation. TAMC 2007. Lecture Notes in Computer Science, vol 4484. , editor/s:Cai JY., Cooper S.B., Zhu H., Publisher:Springer, Berlin, Heidelberg, 2007, pages:199-211, ISBN: Print ISBN 978-3-540-72503-9 Online ISBN 978-3-540-72504-6 , Ref, SCOPUS, SJR (0.293 - 2007), SCOPUS Quartile: Q2 (CS/Scopus), International
|
2007
|
8
|
George Barmpalias, Andrew E. M. Lewis, Mariya Soskova, Working with the LR Degrees, Theory and Applications of Models of Computation. TAMC 2007. Lecture Notes in Computer Science, vol 4484., editor/s:Cai JY., Cooper S.B., Zhu H., Publisher:Springer, Berlin, Heidelberg, 2007, pages:89-99, ISBN:Print ISBN 978-3-540-72503-9 Online ISBN 978-3-540-72504-6 , Ref, SCOPUS, SJR (0.293 - 2007), SCOPUS Quartile: Q2 (CS/Scopus)
|
2007
|
9
|
Mariya Ivanova Soskova, A Generic Set That Does Not Bound a Minimal Pair, Theory and Applications of Models of Computation. TAMC 2006. Lecture Notes in Computer Science, vol 3959. , editor/s:Cai JY., Cooper S.B., Li A., Publisher:Springer, Berlin, Heidelberg, 2006, pages:746-755, ISBN: Print ISBN 978-3-540-34021-8 Online ISBN 978-3-540-34022-5 , doi: DOI https://doi.org/10.1007/11750321_71 , Ref, SCOPUS, SJR (0.317 - 2006), SCOPUS Quartile: Q2 (CS/Scopus), PhD
|
2006
|
Участие в конференция |
1
|
Пленарен доклад, Мария Соскова, The three quantifier theory of the partial order of the enumeration degrees
|
2019
|
2
|
Пленарен доклад, Мария Соскова, The enumeration degrees: An overview
|
2019
|
3
|
Пленарен доклад, Мария Соскова, The enumeration degrees: the known and the unknown
|
2019
|
4
|
Пленарен доклад, Мария Соскова, Fragments of the first order theory of the partial order of the enumeration degrees
|
2019
|
5
|
Пленарен доклад, Мария Соскова, The definbaility of the continuous degrees
|
2018
|
6
|
Пленарен доклад, Мария Соскова, Randomness relative to an enumeration oracle
|
2018
|
7
|
Пленарен доклад, Мария Соскова, An enumeration degree perspective for effective mathematics
|
2018
|
8
|
Пленарен доклад, Мария Соскова, Characterizing the continuous degrees
|
2017
|
9
|
Пленарен доклад, Мария Соскова, Logic and degrees
|
2017
|
10
|
Пленарен доклад, Мария Соскова, Seven characterizations of the cototal enumeration degrees
|
2017
|
11
|
Пленарен доклад, Мария Соскова, Generic Muchnik reducibility and expansions of the reals
|
2017
|
12
|
Пленарен доклад, Мария Соскова, Characterizing the continuous degrees
|
2017
|
13
|
Секционен доклад, Мария Соскова, Cototality and the skip operator.
|
2016
|
14
|
Секционен доклад, Мария Соскова, Randomness relative to an enumeration oracle
|
2016
|
15
|
Пленарен доклад, Мария Соскова, Definability and automorphisms in the enumeration degrees
|
2016
|
16
|
Секционен доклад, Мария Соскова, Definability in degree structures.
|
2016
|
17
|
Секционен доклад, Мария Соскова, Defining the jump classes in the local structure of the enumeration degrees
|
2015
|
18
|
Секционен доклад, Мария Соскова, Номерационни степени: връзка между локална и глобалнаструктура
|
2015
|
19
|
Секционен доклад, Мария Соскова, The enumeration degrees: Local and global structural interactions
|
2015
|
20
|
Секционен доклад, Мария Соскова, An automorphism analysis for the Delta-0-2 Turing degrees
|
2015
|
21
|
Секционен доклад, Мария Соскова, Definability, automorphisms and enumeration degrees.
|
2014
|
22
|
Секционен доклад, Мария Соскова, Finite automorphism bases for degree structures
|
2014
|
23
|
Секционен доклад, Мария Соскова, The definability of the total enumeration degrees and its consequences
|
2014
|
24
|
Секционен доклад, Мария Соскова, Definability, automorphisms and enumeration degrees
|
2014
|
25
|
Секционен доклад, Мария Соскова, The Turing universe in the context of enumeration reducibility
|
2013
|
26
|
Секционен доклад, Мария Соскова, The automorphism group of the enumeration degrees
|
2013
|
27
|
Секционен доклад, Мария Соскова, Extensions of the Turing model for relative definability
|
2012
|
28
|
Секционен доклад, Мария Соскова, Extensions of the Turing model for relative definability
|
2012
|
29
|
Секционен доклад, Мария Соскова, Definability via Kalimullin Pairs
|
2012
|
30
|
Секционен доклад, Мария Соскова, The Turing universe in the context of enumeration reducibility
|
2012
|
31
|
Секционен доклад, Мария Соскова, The structure of the omega enumeration degrees
|
2011
|
32
|
Секционен доклад, Мария Соскова, Characterizing the Strength of the Local Theory of the Enumeration Degrees
|
2010
|
33
|
Секционен доклад, Мария Соскова, Definability and Interpretability in the Sigma-0-2 enumeration degrees
|
2010
|
34
|
Секционен доклад, Мария Соскова, Local definability of K-pairs in the enumeration degrees
|
2010
|
35
|
Секционен доклад, Мария Соскова, Embedding Partial Orderings in Degree Structures
|
2009
|
36
|
Секционен доклад, Мария Соскова, The Limitations of Cupping in the Local Structure of the Enumeration Degrees
|
2008
|
37
|
Секционен доклад, Мария Соскова, Cupping $\Delta^0_2$ Enumeration Degrees to $0'$
|
2007
|
38
|
Секционен доклад, Мария Соскова, The Strongest Nonsplitting Theorem
|
2007
|
39
|
Секционен доклад, Мария Соскова, A Non-splitting Theorem in the Enumeration Degrees
|
2007
|
40
|
Секционен доклад, Мария Соскова, A Generic Set that Does Not Bound a Minimal Pair in the Enumeration Degrees
|
2006
|
41
|
Секционен доклад, Мария Соскова, Genericity and Nonbounding
|
2006
|
42
|
Секционен доклад, Мария Соскова, A Generalization of Harrington's Nonsplitting Theorem
|
2006
|
|