Return to Article Details A generalized small model property for languages which force the infinity Download Download PDF