Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:preliminary_discussion_on_models [2008/03/20 11:22] vkuncak |
sav08:preliminary_discussion_on_models [2008/03/20 11:23] vkuncak |
||
---|---|---|---|
Line 8: | Line 8: | ||
What is the cardinality of the models we need to consider? There are many useful models whose domains is not a [[countable set]]. | What is the cardinality of the models we need to consider? There are many useful models whose domains is not a [[countable set]]. | ||
+ | |||
+ | Difficulty in checking $\models S$: there are infinitely many models, of arbitrarily large cardinalities. | ||
+ | |||
+ | Goal: show that if a set $S$ of formulas has a model, then it has a particular kind, and this model is countable. | ||
+ |