“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 106  


Abstract:  
An expansion of a countable model by relations for incomplete types realized in the model is constructed. Theories of models obtained by iterating the expansion defined over countable ordinals are investigated. Theorems concerning the atomicity of countable models in a suitable αexpansion are proved, and we settle the question of whether or not αexpansions have atomic models. A theorem on the realization and omission of generalized types is presented. The results obtained are then used to give a direct proof of a theorem of Morley on the number of countable models and to state that Ehrenfeucht theories have finite type rank.
Download TeX format 

back to top 