Open AccessBook
Classical recursion theory
Reads0
Chats0
TLDR
Theories of Recursive functions, Hierarchies of recursive functions, and Arithmetical sets: Recursively enumerable sets.Abstract:
Preface. Introduction. Theories of Recursive functions. Hierarchies of recursive functions. Recursively enumerable sets. Recursively enumerable degrees. Limit sets. Arithmetical sets. Arithmetical degrees. Enumeration degrees. Bibliography. Notation index. Subject index.read more
Citations
More filters
Journal ArticleDOI
Effective genericity and differentiability
TL;DR: It is proved that a real x is 1-generic if and only if every differentiable computable function has continuous derivative at x.
Proceedings Article
How powerful is unconditional transfer? -When UT meets AC.-
Henning Fernau,Frank Stephan +1 more
TL;DR: It is shown that every recursively enumerable language can be generated by a programmed grammar with context-free core rules using unconditional transfer or by some k-limited ET0L system, where k 2 N is arbitrary.
Journal ArticleDOI
Algorithmic randomness over general spaces
TL;DR: It is shown that SCT3 is a sufficient condition for the existence and coincidence, and how much this condition can be weakened is studied.
Journal ArticleDOI
Strongly non-U-shaped language learning results by general techniques
John Case,Timo Kötzing +1 more
TL;DR: This paper introduces two general techniques and applies them especially to syntactic U-shapes in learning to show that, for set-driven and rearrangement-independent learning, any kind of U-Shapes is unnecessary.