Spectrum of FO logic with quantifier depth 4 is finite. (arXiv:2111.11470v1 [math.CO]) http://arxiv.org/abs/2111.11470
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.