arXiv:2604.00720 · math.LO · Submitted 2026-04-01 · Read on arXiv
math.LO
Submitted: 2026-04-01
Updated: 2026-10-22