03:34duration 3 minutes 34 seconds
CL - 6a - Keeping it Simple
We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…