Charles M. Harris

14 papers C 4Journal 10
YearRankTypeTitle / Venue / Authors
2018 J jnl
Enumeration 1-Genericity in the Local Enumeration Degrees.
Notre Dame J. Formal Log.
Liliana Badillo, Charles M. Harris, Mariya Ivanova Soskova
2018 J jnl
Linearisations and the Ershov hierarchy.
Comput.
S. Barry Cooper, James Gay, Charles M. Harris, Kyung Il Lee, Anthony Morphett
2016 J jnl
Automorphisms of
Math. Log. Q.
Charles M. Harris, Kyung Il Lee, S. Barry Cooper
2015 J jnl
On limitwise monotonicity and maximal block functions.
Comput.
Charles M. Harris
2014 J jnl
Avoiding uniformity in the Δ
Ann. Pure Appl. Log.
Liliana Badillo, Charles M. Harris
2014 C conf
On Maximal Block Functions of Computable η-like Linear Orderings.
CiE
Charles M. Harris
2012 C conf
An Application of 1-Genericity in the $\Pi^0_2$ Enumeration Degrees.
TAMC
Liliana Badillo, Charles M. Harris
2012 J jnl
Badness and jump inversion in the enumeration degrees.
Arch. Math. Log.
Charles M. Harris
2012 J jnl
Non-cuppable enumeration degrees via finite injury.
J. Log. Comput.
Charles M. Harris
2011 J jnl
On the jump classes of noncuppable enumeration degrees.
J. Symb. Log.
Charles M. Harris
2010 J jnl
Goodness in the enumeration and singleton degrees.
Arch. Math. Log.
Charles M. Harris
2007 J jnl
On the Symmetric Enumeration Degrees.
Notre Dame J. Formal Log.
Charles M. Harris
2006 C conf
Enumeration Reducibility with Polynomial Time Bounds.
CiE
Charles M. Harris
2005 C conf
Symmetric Enumeration Reducibility.
CiE
Charles M. Harris