arXiv:2610.29771 · math.CT, cs.LO, math.LO · Submitted 2026-10-21 · Read on arXiv
math.CT, cs.LO, math.LO
Submitted: 2026-10-21
Updated: 2026-10-22