A generalized small model property for languages wich forces the infinity