A precise proof of the n-variable Bekic principle
Logic in Computer Science
2026-01-01 v1
Abstract
We provide a proof of the -ary Beki\v{c} principle, which states that a vectorial fixpoint of size can be written in terms of nested fixpoints in each coordinate according to lexicographic order. The proof is inductive.
Cite
@article{arxiv.2512.24038,
title = {A precise proof of the n-variable Bekic principle},
author = {Jun Xu},
journal= {arXiv preprint arXiv:2512.24038},
year = {2026}
}