6 citations · 12 across the 7 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.LO2013★ 2 cited
A DNC function that computes no effectively bi-immune set
Achilles A. Beros
In Diagonally Non-Computable Functions and Bi-Immunity, Carl Jockusch and Andrew Lewis proved that every DNC function computes a bi-immune set. They asked whether every DNC functio…
math.LO2013
Learning Theory in the Arithmetic Hierarchy
Achilles Beros
We consider the arithmetic complexity of index sets of uniformly computably enumerable families learnable under different learning criteria. We determine the exact complexity of th…