|
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. |
|