Events Tagged: "Löwenheim theorem"

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