arXiv:2602.07166 · math.LO · Submitted 2026-02-06 · Read on arXiv
math.LO
Submitted: 2026-02-06
Updated: 2026-10-29