Is the question whether a FO formula F has a model of size k (k is a finite number) decidable? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T23:40:57Z http://mathoverflow.net/feeds/question/113816 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/113816/is-the-question-whether-a-fo-formula-f-has-a-model-of-size-k-k-is-a-finite-numbe Is the question whether a FO formula F has a model of size k (k is a finite number) decidable? TL 2012-11-19T11:29:48Z 2012-11-19T11:29:48Z <p>Hi all,</p> <p>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?</p> <p>Thanks in advance! TL</p>