Similar to クリーネの再帰定理

Computation in the limit

Computable analysis

Computable number

Kőnig's lemma

Complete numbering

Computably inseparable

Effective Polish space

Creative and productive sets

Simple set

Low basis theorem

Halting problem

Numbering (computability theory)

Double recursion

Hardy hierarchy

Busy beaver

Friedberg numbering

Rice–Shapiro theorem

Deduction theorem

Cut-elimination theorem

Craig interpolation

Gödel's speed-up theorem

Compactness theorem

Church–Rosser theorem

Paris–Harrington theorem

Frege's theorem

Schröder–Bernstein theorem

Rice's theorem

Lusin's separation theorem