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 ...
What is the largest natural number possible? By using the word natural, I have ruled out the possibility that you simply answer infinity (∞) to torpedo the guessing game. But even if we allowed ...