Suppose is a first-order language with a finite number of relation symbols and no function symbols.
Suppose the maximum arity of a relation symbol in is . Which of the following could be values of so that the following statement is true?
If is an arbitrary sentence over , admits a finite model.
This problem is a part of Tessellate S.T.E.M.S (2019)
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
No explanations have been posted yet. Check back later!