TY - RPRT TI - Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking AU - Eitetsu Ken AU - Mykyta Narusevych PY - 2024 UR - https://arxiv.org/abs/2406.10924 ID - 2406.10924 ER -