Please use this identifier to cite or link to this item:
|Title:||Morley’s number of countable models|
|Abstract:||A theory formulated in a countable predicate calculus can have at most 2א0 nonisomorphic countable models. In 1961 R. L. Vaught  conjected that if such a theory has uncountably many countable models, then it has exactly 2א0 countable models. This would of course follow immediately if one assumed the continuum hypothesis to be true. Almost ten years later, M. Morley  proved that if a countable theory has strictly more than א1 countable models, then it has 2א0 countable models. This l... more|
|Appears in Collections:||Kandidatuppsatser|
This item has been viewed 24 times.