| |
Публикации
Заглавие:
On Kalimullin pairs
Автори: Mingzhong Cai, Steffen Lempp, Joseph S. Miller and Mariya I. Soskova
Формати:
Статус:
Предадена за печат.
Заглавие:
Defining totality in the enumeration degrees
Автори: Mingzhong Cai, Hristo A. Ganchev, Steffen Lempp, Joseph S. Miller and Mariya I. Soskova
Формати:
Статус:
Предадена за печат.
Заглавие:
The automorphism group of the enumeration degrees
Автори: Mariya I. Soskova
Формати:
Статус:
Приета за печат.
Заглавие:
The Turing universe in the context enumeration reducibility
Автори: Mariya I. Soskova
Формати:
Статус:
In CiE 2013 Proceedings, LNCS, volume 7921, 371-383.
Заглавие:
Definability via Kalimullin Pairs in the structure of the enumeration degrees
Автори: Hristo A. Ganchev and Mariya I. Soskova
Формати:
Статус:
Приета в Transactions of the AMS.
Заглавие:
Enumeration 1-genericity in the local enumeration degrees
Автори: Liliana Badillo, Charles Harris and Mariya I. Soskova
Формати:
Статус:
Предадена за печат.
Заглавие:
Interpreting true arithmetic in the local structure of the enumeration degrees
Автори: Hristo A. Ganchev and Mariya I. Soskova
Формати:
Статус:
J. Symb. Log. 77(4): 1184-1194 (2012).
Заглавие:
Kalimullin pairs of Σ20 omega-enumeration degrees
Автори: I. Soskov and Mariya I. Soskova
Формати:
Статус:
Int. J. Software and Informatics 5(4): 637-658 (2011).
Заглавие:
Cupping and definability in the local structure of the enumeration degrees
Автори: Hristo A. Ganchev and Mariya I. Soskova
Формати:
Статус:
J. Symb. Log. 77(1): 133-158 (2012).
Заглавие:
The High/Low Hierarchy in the Local Structure of the
Omega-Enumeration Degrees
Автори: Hristo A. Ganchev and Mariya I. Soskova
Формати:
Статус:
Ann. Pure Appl. Logic 163(5): 547-566 (2012).
Заглавие:
Embedding Distributive Lattices in the Σ20
Enumeration Degrees
Автори: Hristo A. Ganchev and Mariya I. Soskova
Формати:
Статус:
J Logic Computation, doi:10.1093/logcom/exq042 .
Заглавие:
Embedding Countable Partial Orderings in the
Enumeration Degrees and the Omega Enumeration Degrees
Автори: Mariya I. Soskova and Ivan N. Soskov
Формати:
Статус:
J Logic Computation, doi:10.1093/logcom/exq051
Заглавие:
The Limitations of Cupping in the Local Structure of the
Enumeration Degrees
Автори: Mariya I. Soskova
Формати:
Статус:
Archive for Mathematical Logic, 49(2), 2010, 169-193.
Заглавие:
Splitting and Nonsplitting in the Σ20
Enumeration Degrees
Автори: Marat M. Arslanov, S. Barry Cooper,
Iskander Sh. Kalimullin and Mariya I. Soskova
Формати:
Статус:
Theor. Comput. Sci. 412(18): 1669-1685 (2011).
Заглавие:
The Local Structure of the Enumeration Degrees
Автори: Mariya I. Soskova
Формати:
Статус:
PhD Thesis, University of Leeds, May 2008.
Заглавие:
Cupping Classes of Σ20
Enumeration Degrees
Автори: Mariya I. Soskova
Формати:
Статус:
In CiE 2008 Proceedings, LNCS, volume 5028, 554-566.
Заглавие:
Total Degrees and Nonsplitting Properties of Σ20
Enumeration Degrees
Автори: Marat M. Arslanov, S. Barry Cooper,
Iskander Sh. Kalimullin and Mariya I. Soskova
Формати:
Статус:
In TAMC 2008 Proceedings, LNCS 4978, 568-578.
Заглавие: A Non-splitting Theorem in the Enumeration Degrees
Автори: Mariya I. Soskova
Формати:
Статус:
Ann. Pure Appl. Logic, 160, (2009) 400-418.
Заглавие:
How Enumeration Reducibility Yields Extended Harrington Non-Splitting
Автори: Mariya I. Soskova and S. Barry Cooper
Формати:
Статус:
In Journal of Symbolic Logic, vol. 73 (2008), 634-655.
Заглавие:
Cupping Δ2 Enumeration Degrees to 0'
Автори: Mariya I. Soskova, Guohua Wu
Формати:
Статус:
In CiE 2007 Proceedings, LNCS, volume 4497, 727-738.
Заглавие:
The Strongest Nonsplitting Theorem
Автори: Mariya I. Soskova, S. Barry Cooper
Формати:
Статус:
In TAMC 2007 Proceedings, LNCS 4484, 199-211
Заглавие:
Randomness, Lowness and Degrees
Автори: George Barmpalias, Andrew E. M. Lewis, Mariya I. Soskova
Формати:
Статус:
In Journal of Symbolic Logic. vol.73, 559-577 (2008).
Заглавие:
Genericity and Nonbounding
Автори: Mariya I. Soskova
Формати:
Статус:
In Journal of Logic and Computation, December 2007; 17: 1235 - 1255.
Заглавие:
A Generic Set that Does Not Bound a Minimal Pair in the Enumeration Degrees
Автори: Mariya I. Soskova
Формати:
Статус:
In TAMC 2006 Proceedings, LNCS 3959. |
|
