Категория : Математически-логические иерархии

В математической логике эти иерархии классифицируют различные объекты, такие как действительные числа (эквивалентно наборам натуральных чисел) и наборы действительных чисел, на основе различных критериев определимости и сложности.

Эта категория содержит статьи об этих иерархиях, а также о теоремах и терминах, связанных с ними.