@misc{indiciae687e625d9b77,
  title = {Permutations, substitutions and finite axiomatizability},
  author = {Hajnal Andréka and Zalán Gyenis and István Németi},
  year = {2026},
  url = {https://arxiv.org/abs/2512.12446},
  note = {Source identifier: 2512.12446}
}