We study randomness beyond Π 1 1 -randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between Π 1 1 and Σ 2 1 that is ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results