arXiv:2510.19437 · math.LO · Submitted 2025-10-22 · Read on arXiv
math.LO
Submitted: 2025-10-22
Updated: 2026-10-22