Hi all,

can someone please tell me whether the question whether a FO formula F has a model of size k (where k is a finite number) is decidable?

Thanks in advance! TL

Hi all, can someone please tell me whether the question whether a FO formula F has a model of size k (where k is a finite number) is decidable? Thanks in advance! TL |
|||

`$\{1,2,\dots,k\}$`

. – Andreas Blass Nov 19 '12 at 11:32