Abstract

The k -spectrum is the set of all α > 0 such that G(n,n −α ) does not obey the 0-1 law for FO sentences with quantifier depth at most k . In this article, we prove that the minimum k such that the k -spectrum is infinite equals 5.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call