Charles M. Harris

From MaRDI portal
(Redirected from Person:412059)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Enumeration 1-genericity in the local enumeration degrees
Notre Dame Journal of Formal Logic
2018-12-21Paper
Enumeration 1-genericity in the local enumeration degrees
Notre Dame Journal of Formal Logic
2018-12-21Paper
Linearisations and the Ershov hierarchy
Computability
2018-09-20Paper
Automorphisms of \(\eta\)-like computable linear orderings and Kierstead's conjecture
Mathematical Logic Quarterly
2017-02-01Paper
On limitwise monotonicity and maximal block functions
Computability
2015-10-20Paper
On maximal block functions of computable \(\eta \)-like linear orderings
Language, Life, Limits
2015-02-25Paper
Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees
Annals of Pure and Applied Logic
2014-06-06Paper
Non-cuppable enumeration degrees via finite injury
Journal of Logic and Computation
2012-09-05Paper
An application of 1-genericity in the \(\Pi^0_2\) enumeration degrees
Lecture Notes in Computer Science
2012-07-16Paper
Badness and jump inversion in the enumeration degrees
Archive for Mathematical Logic
2012-05-03Paper
On the jump classes of noncuppable enumeration degrees
Journal of Symbolic Logic
2011-03-18Paper
Goodness in the enumeration and singleton degrees
Archive for Mathematical Logic
2010-09-08Paper
On the symmetric enumeration degrees
Notre Dame Journal of Formal Logic
2008-02-22Paper
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science
2007-04-30Paper
New Computational Paradigms
Lecture Notes in Computer Science
2006-01-11Paper


Research outcomes over time


This page was built for person: Charles M. Harris