arXiv:2506.17943 · math.LO · Submitted 2025-06-22 · Read on arXiv
math.LO
Submitted: 2025-06-22
Updated: 2026-10-20