result in model theory
C33680
concept
In model theory, a result is a formally proven statement—such as a theorem, lemma, or corollary—about structures, theories, or definable sets that follows from the axioms and logical rules of the framework.
Observed surface forms (3)
- compactness theorem ×4
- method in first-order logic ×2
- hierarchy of definability ×1
Instances (9)
- Tarski’s theorem on the completeness of elementary algebra and geometry
-
Löwenheim–Skolem theorem (via additional arguments)
surface form: Löwenheim–Skolem theorem
- Henkin construction via concept surface "method in first-order logic"
- Kleene hierarchy via concept surface "hierarchy of definability"
- Skolemization via concept surface "method in first-order logic"
- Blaschke selection theorem via concept surface "compactness theorem"
- Cheeger–Gromov compactness theorem via concept surface "compactness theorem"
- Hamilton’s compactness theorem for Ricci flow via concept surface "compactness theorem"
- Arzelà–Ascoli theorem via concept surface "compactness theorem"