[FOM] criteria for the existence of infinite models of FO theories

[Andrei Popescu]

Dear FOM subscribers,
I am searching for (preferably lightweight) syntactic criteria for a first-order theory to admit infinite models.  I would appreciate any pointers to results in the literature.
All the best,    Andrei Popescu  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120730/50e049be/attachment.html>