This is an old revision of the document!
Model Sizes
We saw: if formula has a model of some size, it has many models of same size, from Isomorphism of Interpretations.
Are there first-order formulas that have only finite models?
Are there first-order formulas that have only infinite models?
What is the cardinality of the models we need to consider? There are many useful models whose domains is not a countable set.