The upward Löwenheim–Skolem theorem states that if a first-order theory has an infinite model, it has models of arbitrarily large…
The downward Löwenheim–Skolem theorem states that if a theory has an infinite model, it has a model of every infinite…