Fixed-point theorems Order theory Theorems in the foundations of mathematics
Axiom of choice Order theory Theorems in the foundations of mathematics
Szpilrajn extension theorem
Theorems in the foundations of mathematics
Computational complexity theory Structural complexity theory Theorems in the foundations of mathematics
Compression theorem
Mathematical logic Mathematical logic stubs Theorems in the foundations of mathematics
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 teorema Independence results Theorems in the foundations of mathematics
Paris–Harrington theorem
Paris–Harrington theorem In mathematical logic, the Paris–Harrington theorem states that a certain…
Ver teorema Mathematical logic Model theory Theorems in the foundations of mathematics
Categorical theory
Categorical theory (Redirected from Morley's categoricity theorem) Jump to navigation Jump to…
Ver teorema Computing stubs Theorems in the foundations of mathematics Theorems in theory of computation
Rice–Shapiro theorem
Rice–Shapiro theorem In computability theory, the Rice–Shapiro theorem is a generalization of…
Ver teorema Independence results Mathematical logic stubs Theorems in the foundations of mathematics
Kanamori–McAloon theorem
Kanamori–McAloon theorem In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori &…
Ver teorema Computability theory Theorems in the foundations of mathematics
Craig's theorem
Craig's theorem In mathematical logic, Craig's theorem states that any recursively enumerable…
Ver teorema