arXiv math.LO Logic
1 following