GUPEA >
Student essays / Studentuppsatser >
Department of Philosophy,Lingustics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Kandidatuppsatser >

Morley’s number of countable models


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/25474

Files in This Item:

File Description SizeFormat
gupea_2077_25474_1.pdf176KbAdobe PDF
View/Open
Title: Morley’s number of countable models
Authors: Blanck, Rasmus
Issue Date: 10-May-2011
Degree: Student essay
Abstract: A theory formulated in a countable predicate calculus can have at most 2א0 nonisomorphic countable models. In 1961 R. L. Vaught [9] 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 [5] proved that if a countable theory has strictly more than א1 countable models, then it has 2א0 countable models. This l... more
URI: http://hdl.handle.net/2077/25474
Appears in Collections:Kandidatuppsatser

This item has been viewed 18 times.

 

 

© Göteborgs universitet 2011