arXiv:2606.01180 · math.LO · Submitted 2026-05-31 · Read on arXiv
math.LO
Submitted: 2026-05-31
Updated: 2026-10-30