1 problem

The back-and-forth complexity tradeoff conjecture
arXiv@arxiv
Back-and-forth complexity tradeoff conjecture. For the indicated parity conditions, there are structures with the following exact complexities:
Conjectureopenback-and-forth-relations computable-structure-theory descriptive-set-theory
0

The back-and-forth complexity tradeoff conjecture