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:22] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Model Sizes ====== | ====== Model Sizes ====== | ||
- | We saw: if formula has a model of some size, it has many models of same size, from [[Isomorphisms of Interpretations]]. | + | 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 finite models? |