2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Erin Carmody
This paper analyzes infinitary nondeterministic computability theory. The main result is D = ND ∩ coND where D is the class of sets decidable by infinite time Turing machi…