Löwenheim–Skolem-Eigenschaft

Eine Familie von Resultaten und die zugehörige Eigenschaft einer Logik oder Theorie, welche die Mächtigkeiten von Modellen einschränken: Typischerweise sagt der absteigende Löwenheim–Skolem-Satz, dass eine erfüllbare Menge von Formeln ein Modell bis zu einer bestimmten kleineren Mächtigkeit (häufig abzählbar) besitzt, während aufsteigende Versionen die Existenz größerer Modelle behaupten; zusammen