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

Charlie silver_1 at mindspring.com
Thu Nov 29 22:26:51 EST 2012


	    Is this the same question as before?  I'm not sure.

If so, one way would be to incorporate these three simple sentences as axioms (or their conjunction):

1) Ax~(Fxx);
2) AxAyAz(Fxy & Fyz --> Fxz);
3) AxEy(Fxy).

Charlie Silver

On Jul 30, 2012, at 4:22 PM, Andrei Popescu <uuomul at yahoo.com> wrote:

> 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  
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom



More information about the FOM mailing list