Tarski-Kuratowski algorithm

Etymology
Named after Alfred Tarski and Kazimierz Kuratowski.

Proper noun

 * 1)  A nondeterministic algorithm that produces an upper bound for the complexity of a given formula in the arithmetical hierarchy and analytical hierarchy.