arXiv:2606.02941 · math.LO · Submitted 2026-06-01 · Read on arXiv
math.LO
Submitted: 2026-06-01
Updated: 2026-10-30