The Hanf number of omitting complete types
The Hanf number of omitting complete types
It is proved in this paper that the Hanf numher m° of omitting complete types hy models of complete countable theories is the same as that of omitting not necessarily complete type by models of a countable theory.[3] proved that if L is a countable firstorder language, T a theory …