Obserwuj
Stephen Binns
Stephen Binns
Assistant Professor of Mathematics
Zweryfikowany adres z kfupm.edu.sa
Tytuł
Cytowane przez
Cytowane przez
Rok
A splitting theorem for the Medvedev and Muchnik lattices
S Binns
Mathematical Logic Quarterly: Mathematical Logic Quarterly 49 (4), 327-335, 2003
462003
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes
S Binns, SG Simpson
Archive for Mathematical Logic 43, 399-414, 2004
422004
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
332006
Small Π0 1 Classes
S Binns
Archive for Mathematical Logic 45, 393-410, 2006
202006
The Medvedev and Muchnik lattices of Pi (0/1) classes
S Binns
The Pennsylvania State University, 2003
162003
Π10 classes with complex elements
S Binns
The Journal of Symbolic Logic 73 (4), 1341-1353, 2008
142008
Hyperimmunity in 2\sp ℕ
S Binns
Notre Dame Journal of Formal Logic 48 (2), 293-316, 2007
142007
Self-embeddings of computable trees
S Binns, B Kjos-Hanssen, M Lerman, JH Schmerl, R Solomon
52008
Medvedev and Muchnik Degrees of Nonempty 0 1 Subsets of 2ω
S Binns, S Simpson
preprint, May, 2001
52001
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
42009
Relative Kolmogorov complexity and geometry
S Binns
The Journal of Symbolic Logic 76 (4), 1211-1239, 2011
32011
Mass problems and density
S Binns, RA Shore, SG Simpson
Journal of Mathematical Logic 16 (02), 1650006, 2016
22016
Compressibility and kolmogorov complexity
S Binns, M Nicholson
22013
Completeness, Compactness, Effective Dimensions.
S Binns
Math. Log. Q. 59 (3), 206-218, 2013
12013
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20