arXiv:2403.17961 · math.CT, cs.LO, math.LO · Submitted 2024-03-13 · Read on arXiv
math.CT, cs.LO, math.LO
Submitted: 2024-03-13
Updated: 2026-10-26