${\Pi }_4^0$ conservation of the Ordered Variable Word theorem

Quentin Le Houérou, Ludovic Levy Patey

A left-variable word over an alphabet~$A$ is a word over~$A\cup \{\star \}$ whose first letter is the distinguished symbol~$\star$ standing for a placeholder. The Ordered Variable…