Szpilrajn extension theorem

# Theorems in the foundations of mathematics

Compression theorem

Lindström's theorem

Bourbaki–Witt theorem

Bourbaki–Witt theorem In mathematics, the Bourbaki–Witt theorem in order theory, named after…

Ver teoremaCut-elimination theorem

Cut-elimination theorem The cut-elimination theorem (or Gentzen's Hauptsatz) is the central result…

Ver teoremaParis–Harrington theorem

Paris–Harrington theorem In mathematical logic, the Paris–Harrington theorem states that a certain…

Ver teoremaCategorical theory

Categorical theory (Redirected from Morley's categoricity theorem) Jump to navigation Jump to…

Ver teoremaRice–Shapiro theorem

Rice–Shapiro theorem In computability theory, the Rice–Shapiro theorem is a generalization of…

Ver teoremaKanamori–McAloon theorem

Kanamori–McAloon theorem In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori &…

Ver teoremaCraig's theorem

Craig's theorem In mathematical logic, Craig's theorem states that any recursively enumerable…

Ver teorema