TY  - RPRT
TI  - The reverse mathematics of the Ordered Variable Word theorem
AU  - Lu Liu
AU  - Ludovic Patey
PY  - 2026
UR  - https://arxiv.org/abs/2606.12962
ID  - 2606.12962
ER  -