Mariya Soskova's Personal Home Page

Picture Mariya I. Soskova

Preprints

  • Title: The enumeration degrees: Local and global structural interactions.
    Authors: Theodore A. Slaman and Mariya I. Soskova
    Formats:
    Status: Submitted.

  • Title: The Δ20 Turing degrees: Automorphisms and definability.
    Authors: Theodore A. Slaman and Mariya I. Soskova
    Formats:
    Status: Submitted.

  • Title: On Kalimullin pairs
    Authors: Mingzhong Cai, Steffen Lempp, Joseph S. Miller and Mariya I. Soskova
    Formats:
    Status: Submitted.

  • Title: Defining totality in the enumeration degrees
    Authors: Mingzhong Cai, Hristo A. Ganchev, Steffen Lempp, Joseph S. Miller and Mariya I. Soskova
    Formats:
    Status: Submitted.

  • Title: The automorphism group of the enumeration degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: In press.

  • Title: The Turing universe in the context enumeration reducibility
    Authors: Mariya I. Soskova
    Formats:
    Status: In CiE 2013 Proceedings, LNCS, volume 7921, 371-383.

  • Title: Definability via Kalimullin Pairs in the structure of the enumeration degrees
    Authors: Hristo A. Ganchev and Mariya I. Soskova
    Formats:
    Status: To appear in Transactions of the AMS.

  • Title: Enumeration 1-genericity in the local enumeration degrees
    Authors: Liliana Badillo, Charles Harris and Mariya I. Soskova
    Formats:
    Status: Submitted.

  • Title: Interpreting true arithmetic in the local structure of the enumeration degrees
    Authors: Hristo A. Ganchev and Mariya I. Soskova
    Formats:
    Status: J. Symb. Log. 77(4): 1184-1194 (2012).

  • Title: Kalimullin pairs of Σ20 omega-enumeration degrees
    Authors: I. Soskov and Mariya I. Soskova
    Formats:
    Status: Int. J. Software and Informatics 5(4): 637-658 (2011).

  • Title: Cupping and definability in the local structure of the enumeration degrees
    Authors: Hristo A. Ganchev and Mariya I. Soskova
    Formats:
    Status: J. Symb. Log. 77(1): 133-158 (2012).

  • Title: The High/Low Hierarchy in the Local Structure of the Omega-Enumeration Degrees
    Authors: Hristo A. Ganchev and Mariya I. Soskova
    Formats:
    Status: Ann. Pure Appl. Logic 163(5): 547-566 (2012).

  • Title: Embedding Distributive Lattices in the Σ20 Enumeration Degrees
    Authors: Hristo A. Ganchev and Mariya I. Soskova
    Formats:
    Status: J Logic Computation, doi:10.1093/logcom/exq042 .

  • Title: Embedding Countable Partial Orderings in the Enumeration Degrees and the Omega Enumeration Degrees
    Authors: Mariya I. Soskova and Ivan N. Soskov
    Formats:
    Status: J Logic Computation, doi:10.1093/logcom/exq051

  • Title: The Limitations of Cupping in the Local Structure of the Enumeration Degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: Archive for Mathematical Logic, 49(2), 2010, 169-193.

  • Title: Splitting and Nonsplitting in the Σ20 Enumeration Degrees
    Authors: Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin and Mariya I. Soskova
    Formats:
    Status: Theor. Comput. Sci. 412(18): 1669-1685 (2011).

  • Title: The Local Structure of the Enumeration Degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: PhD Thesis, University of Leeds, May 2008.

  • Title: Cupping Classes of Σ20 Enumeration Degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: In CiE 2008 Proceedings, LNCS, volume 5028, 554-566.

  • Title: Total Degrees and Nonsplitting Properties of Σ20 Enumeration Degrees
    Authors: Marat M. Arslanov, S. Barry Cooper, Iskander Sh. Kalimullin and Mariya I. Soskova
    Formats:
    Status: In TAMC 2008 Proceedings, LNCS 4978, 568-578.

  • Title: A Non-splitting Theorem in the Enumeration Degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: Ann. Pure Appl. Logic, 160, (2009) 400-418.

  • Title: How Enumeration Reducibility Yields Extended Harrington Non-Splitting
    Authors: Mariya I. Soskova and S. Barry Cooper
    Formats:
    Status: In Journal of Symbolic Logic, vol. 73 (2008), 634-655.

  • Title: Cupping Δ2 Enumeration Degrees to 0'
    Authors: Mariya I. Soskova, Guohua Wu
    Formats:
    Status: In CiE 2007 Proceedings, LNCS, volume 4497, 727-738.

  • Title: The Strongest Nonsplitting Theorem
    Authors: Mariya I. Soskova, S. Barry Cooper
    Formats:
    Status: In TAMC 2007 Proceedings, LNCS 4484, 199-211

  • Title: Randomness, Lowness and Degrees
    Authors: George Barmpalias, Andrew E. M. Lewis, Mariya I. Soskova
    Formats:
    Status: In Journal of Symbolic Logic. vol.73, 559-577 (2008).

  • Title: Genericity and Nonbounding
    Authors: Mariya I. Soskova
    Formats:
    Status: In Journal of Logic and Computation, December 2007; 17: 1235 - 1255.

  • Title: A Generic Set that Does Not Bound a Minimal Pair in the Enumeration Degrees
    Authors: Mariya I. Soskova
    Formats:
    Status: In TAMC 2006 Proceedings, LNCS 3959.

  • [HOME ] [ PREPRINTS ] [ TALKS ] [ ABOUT ME ]