Events Tagged: "model theory"

Leopold Löwenheim proves Löwenheim theorem: if a first-order sentence has a model, it has a countable model

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

Jacques Herbrand proves Herbrand's theorem, fundamental result connecting proof theory and model theory