Maths›03. Logic and Foundations5.2 Lowenheim Skolem TheoremsDownward and upward Lowenheim Skolem theorems and their consequences for model sizes in first order logic.