arXiv:2502.16695 · math.LO · Submitted 2025-02-23 · Read on arXiv
math.LO
Submitted: 2025-02-23
Updated: 2026-10-24