Stephen Binns

12 papers Journal 12
YearRankTypeTitle / Venue / Authors
2016 J jnl
Mass problems and density.
J. Math. Log.
Stephen Binns, Richard A. Shore, Stephen G. Simpson
2013 J jnl
Completeness, Compactness, Effective Dimensions.
Math. Log. Q.
Stephen Binns
2013 J jnl
Compressibility and Kolmogorov Complexity.
Notre Dame J. Formal Log.
Stephen Binns, Marie Nicholson
2011 J jnl
Relative Kolmogorov complexity and geometry.
J. Symb. Log.
Stephen Binns
2009 J jnl
Finding paths through narrow and wide trees.
J. Symb. Log.
Stephen Binns, Bjørn Kjos-Hanssen
2008 J jnl
Pi
J. Symb. Log.
Stephen Binns
2008 J jnl
Self-Embeddings of Computable Trees.
Notre Dame J. Formal Log.
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon
2007 J jnl
Hyperimmunity in 2
Notre Dame J. Formal Log.
Stephen Binns
2006 J jnl
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination.
J. Symb. Log.
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon
2006 J jnl
Small Pi
Arch. Math. Log.
Stephen Binns
2004 J jnl
Embeddings into the Medvedev and Muchnik lattices of pi
Arch. Math. Log.
Stephen Binns, Stephen G. Simpson
2003 J jnl
A splitting theorem for the Medvedev and Muchnik lattices.
Math. Log. Q.
Stephen Binns