HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Tarski-Kuratowski algorithm
← Back to search

Meaning of Tarski-Kuratowski algorithm | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Tarski-Seidenberg theorem Tarski's fixed-point theorem Tarsle tarsomere tarsometatarsal tarsometatarsus

Learn this word in context

See Tarski-Kuratowski algorithm used in real conversations inside our free language course.

Start Free Course