|Next||Topology of Data Types||11|
Infinite intersections are not semidecidable in general:
In parallel, try to semidecide each of the Ai
But you need all of them to terminate
Even though each Ai is decidable in finite time, they might not all be together
What if Ai takes i units of time to decide?