Visualization 2001 Conference (Acm
Visualization 2001 Conference (Acm
Algorithmic Randomness of Closed Sets *
Journal of Logic and Computation
Computability and Randomness
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Hi-index | 0.00 |
We investigate the notion of K-triviality for closed sets and continuous functions. Every K-trivial closed set contains a K-trivial real. There exists a K-trivial $\Pi^0_1$ class with no computable elements. For any K-trivial degree d, there is a K-trivial continuous function of degree d.