Publisher
Springer International Publishing
Reference22 articles.
1. Barwise, J.: Admissible sets and structures. Stud. Log. 37, 297–299 (1975)
2. Carl, M.: Randomness and degree theory for infinite time register machines 1. Computability 5, 181–196 (2016)
3. Carl, M., Schlicht, P.: Infinite computations with random oracles. Notre Dame J. Form. Log. 58(2), 249–270 (2017)
4. Carl, M., Schlicht, P.: Randomness via infinite computation and effective descriptive set theory. J. Symbol. Log. (to appear)
5. Deolalikar, V., Hamkins, J., Schindler, R.:
$$P\ne NP\cap co-NP$$
for infinite time turing machines. J. Log. Comput. 15, 577–592 (2005)