Follow

Spectrum of FO logic with quantifier depth 4 is finite. (arXiv:2111.11470v1 [math.CO]) arxiv.org/abs/2111.11470

· · feed2toot · 0 · 0 · 0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.