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

MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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