Similar to 計算可能解析学

5

6

7

8

9

1349 (band)

1048576

Computability theory

Elementary recursive function

Analytical hierarchy

Slow-growing hierarchy

Computable set

Fast-growing hierarchy

Computation in the limit

Grzegorczyk hierarchy

Kleene's recursion theorem

Computable number

Kőnig's lemma

Complete numbering

Computably inseparable

Creative and productive sets

Simple set

Low basis theorem

Halting problem

Numbering (computability theory)

Double recursion

Hardy hierarchy