TY  - RPRT
TI  - Most properties are undecidable even in $\mathop{\mathsf{NExt}} \mathsf{Grz}_t$
AU  - Qian Chen
AU  - Tenyo Takahashi
PY  - 2026
UR  - https://arxiv.org/abs/2608.30816
ID  - 2608.30816
ER  -