[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