Tree orders $\prec_\theta$ on $\mathbb{Z}$: strict total, no monotone 3-AP, Ho's identity $(\ast)$

Initializing...

Tree orders $\prec_\theta$ on $\mathbb{Z}$: strict total, no monotone 3-AP, Ho's identity $(\ast)$ · Prove2Me