Upward Löwenheim–Skolem Theorem
The upward Löwenheim–Skolem theorem states that if a first-order theory has an…
Downward Löwenheim–Skolem Theorem
The downward Löwenheim–Skolem theorem states that if a theory has an infinite…
Tag: Löwenheim–Skolem theorem