Skip to search formSkip to main contentSkip to account menu

Tarski–Kuratowski algorithm

Known as: Tarski-Kuratowski algorithm 
In computability theory and mathematical logic the Tarski–Kuratowski algorithm is a non-deterministic algorithm which provides an upper bound for the… 

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
The limit index X(x) of a point x in a compact metric space is defined. (Roughly: Isolated points have index 0, limit points have…