Random processes 4 Random set Computational power 2 Formal logic 2 Logic programming 2 Lower bounds 2 Matin-Löf randomness 2 balanced randomness 2 computable approximation 2 lowness 2 ω-c.e. jump domination 2 ω-c.e. tracing 2