Similar to クリーネの再帰定理

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

Löwenheim–Skolem theorem

Löb's theorem

Einstein's constant