Tag: Löwenheim-Skolem

1 events with tag "Löwenheim-Skolem"

1920 ID: 398

Thoralf Skolem extends Löwenheim's theorem to what becomes Löwenheim-Skolem theorem

ID: 398