TY  - RPRT
TI  - Permutations, substitutions and finite axiomatizability
AU  - Hajnal Andréka
AU  - Zalán Gyenis
AU  - István Németi
PY  - 2026
UR  - https://arxiv.org/abs/2512.12446
ID  - 2512.12446
ER  -