TY  - RPRT
TI  - Spectrum of FO logic with quantifier depth 4 is finite
AU  - Yury Yarovikov
AU  - Maksim Zhukovskii
PY  - 2024
UR  - https://arxiv.org/abs/2111.11470
ID  - 2111.11470
ER  -