Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand

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… Expand