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

Andrei Popescu uuomul at yahoo.com
Mon Jul 30 19:22:07 EDT 2012


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>


More information about the FOM mailing list