Say that a set of sentences has the finite model property iff each member of , if it has any model at all, has a finite model. Assume that is a set of sentences in a finite language (i.e., a language with finitely many parameters) and that has finite model property. Give an effective procedure that, given any member of , will decide whether or not has any models. Suggestion: Is the set of such sentences effectively enumerable? Is its complement effectively enumerable?
(*) For a finite language, is effectively enumerable.
If has any models, then has a finite model. By (*), there is an effective procedure to produce the answer "Yes" if has any models.
An effective procedure to produce the answer "No" if does not have any models is as follows.
Any help will be appreciated.