arXiv math.LO Logic