A generalized small model property for languages which force the   infinity
  This paper deals with formulas of set theory which force the infinity. For such formulas, we provide a technique to infer satisfiability from a finite assignment. 
Pietro Ursino