Events Tagged: "first-order logic"

Peirce distinguishes between first-order and second-order logic in his Johns Hopkins lectures

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

Gödel proves completeness theorem for first-order logic in his doctoral dissertation