arxiv math.LO
0 following