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:23] vkuncak |
sav08:preliminary_discussion_on_models [2008/03/20 13:40] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| Are there first-order formulas that have only infinite 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]]. | + | What is the cardinality of the models we need to consider? There are many useful models whose domain is not a [[countable set]]. |
| Difficulty in checking $\models S$: there are infinitely many models, of arbitrarily large cardinalities. | Difficulty in checking $\models S$: there are infinitely many models, of arbitrarily large cardinalities. | ||