A splitting theorem for the Medvedev and Muchnik lattices S Binns Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (4), 327-335, 2003 | 46 | 2003 |
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes S Binns, SG Simpson Archive for Mathematical Logic 43, 399-414, 2004 | 43 | 2004 |
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination S Binns, B Kjos-Hanssen, M Lerman, R Solomon The Journal of Symbolic Logic 71 (1), 119-136, 2006 | 33 | 2006 |
Small Π0 1 Classes S Binns Archive for Mathematical Logic 45, 393-410, 2006 | 20 | 2006 |
The Medvedev and Muchnik lattices of Pi (0/1) classes S Binns The Pennsylvania State University, 2003 | 16 | 2003 |
Π10 classes with complex elements S Binns The Journal of Symbolic Logic 73 (4), 1341-1353, 2008 | 14 | 2008 |
Hyperimmunity in 2\sp ℕ S Binns Notre Dame Journal of Formal Logic 48 (2), 293-316, 2007 | 14 | 2007 |
Self-embeddings of computable trees S Binns, B Kjos-Hanssen, M Lerman, JH Schmerl, R Solomon | 5 | 2008 |
Medvedev and Muchnik Degrees of Nonempty 0 1 Subsets of 2ω S Binns, S Simpson preprint, May, 2001 | 5 | 2001 |
Lowness notions, measure and domination S Binns, B Kjos-Hanssen, JS Miller, R Solomon unpublished draft, 0 | 5 | |
Finding paths through narrow and wide trees S Binns, B Kjos-Hanssen The Journal of Symbolic Logic 74 (1), 349-360, 2009 | 4 | 2009 |
Relative Kolmogorov complexity and geometry S Binns The Journal of Symbolic Logic 76 (4), 1211-1239, 2011 | 3 | 2011 |
Mass problems and density S Binns, RA Shore, SG Simpson Journal of Mathematical Logic 16 (02), 1650006, 2016 | 2 | 2016 |
Compressibility and kolmogorov complexity S Binns, M Nicholson | 2 | 2013 |
Completeness, Compactness, Effective Dimensions. S Binns Math. Log. Q. 59 (3), 206-218, 2013 | 1 | 2013 |
Geometry and Effective Dimension S Binns | | 2015 |
Below Weak König’s Lemma S Binns, B Kjos-Hanssen | | 2008 |
Embeddings into the Medvedev and Muchnik lattices of Π0 S Binns, SG Simpson Archive for Mathematical Logic, 2003 | | 2003 |
The Medvedev and Muchnik Lattices of Π 0 S Binns The Pennsylvania State University, 2003 | | 2003 |
The Decidability of the∃-theory of L S Binns | | 2002 |