A prefix of a $4$-AP-free enumeration of $\mathbb{Z}$ is safe for some $\varepsilon$-order iff its open pairs are digit-consistent

Initializing...

A prefix of a $4$-AP-free enumeration of $\mathbb{Z}$ is safe for some $\varepsilon$-order iff its open pairs are digit-consistent · Prove2Me