Stephen Binns

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Kolmogorov Complexity

Top Venues

Notre Dame J. Formal Log.

Publications

Stephen Binns, Richard A. Shore, Stephen G. Simpson
Mass problems and density. J. Math. Log. 16 (2) (2016)
Stephen Binns, Marie Nicholson
Compressibility and Kolmogorov Complexity. Notre Dame J. Formal Log. 54 (1) (2013)
Stephen Binns
Completeness, Compactness, Effective Dimensions. Math. Log. Q. 59 (3) (2013)
Stephen Binns
Relative Kolmogorov complexity and geometry. J. Symb. Log. 76 (4) (2011)
Stephen Binns, Bjørn Kjos-Hanssen
Finding paths through narrow and wide trees. J. Symb. Log. 74 (1) (2009)
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon
Self-Embeddings of Computable Trees. Notre Dame J. Formal Log. 49 (1) (2008)
Stephen Binns
classes with complex elements. J. Symb. Log. 73 (4) (2008)
Stephen Binns
. Notre Dame J. Formal Log. 48 (2) (2007)
Stephen Binns
Classes. Arch. Math. Log. 45 (4) (2006)
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination. J. Symb. Log. 71 (1) (2006)
Stephen Binns, Stephen G. Simpson
classes. Arch. Math. Log. 43 (3) (2004)
Stephen Binns
A splitting theorem for the Medvedev and Muchnik lattices. Math. Log. Q. 49 (4) (2003)