# Differences

This shows you the differences between two versions of the page.

 sav08:preliminary_discussion_on_models [2009/05/14 12:34]vkuncak sav08:preliminary_discussion_on_models [2012/04/23 10:17] (current)vkuncak Both sides previous revision Previous revision 2012/04/23 10:17 vkuncak 2009/05/14 12:34 vkuncak 2008/03/20 13:40 vkuncak 2008/03/20 11:23 vkuncak 2008/03/20 11:22 vkuncak 2008/03/20 11:22 vkuncak 2008/03/20 11:21 vkuncak created 2012/04/23 10:17 vkuncak 2009/05/14 12:34 vkuncak 2008/03/20 13:40 vkuncak 2008/03/20 11:23 vkuncak 2008/03/20 11:22 vkuncak 2008/03/20 11:22 vkuncak 2008/03/20 11:21 vkuncak created Line 13: Line 13: 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. - Goal: show that if a set \$S\$ of formulas has a model, then it has a particular kind, and this model is countable. + Goal: show that if a set \$S\$ of formulas has a model, then it has a particular kind of a model, and this model is countable. * this will also give us a systematic method to search for unsatisfiable (and thus, for valid) formulas * this will also give us a systematic method to search for unsatisfiable (and thus, for valid) formulas