Similar to 実効ポーランド空間

Computable analysis

Computability theory

Smn theorem

Ackermann function

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

Busy beaver

Friedberg numbering

Post's theorem

Rice–Shapiro theorem

Arithmetical hierarchy