Transposition of variables is hard to describe

H. Andréka, I. Németi, Zs. Tuza

The function $p_{xy}$ that interchanges two logical variables $x,y$ in formulas is hard to describe in the following sense. Let $F$ denote the Lindenbaum-Tarski formula-algebra of…