[FOM] criteria for the existence of infinite models of FO theories
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):
2) AxAyAz(Fxy & Fyz --> Fxz);
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
More information about the FOM