{"id":"arxiv/2605.03126","url":"https://arxiv.org/abs/2605.03126","tags":["math.LO"],"score":0,"title":"Locally countable graphs of second projective class not generated by countably many projective functions","domain":"math.LO","source":"arxiv","authors":["Vladimir Kanovei","Vassily Lyubetsky"],"reviews":0,"subject":"math.LO","summary":"To answer a question by Rettich and Serafin, we define a model of set theory in which there exists a locally countable $\\varPi^1_2$ graph on a subset of the real line, which is not generated by a countable family of projective (or even real-ordinal definable, ROD) functions. We also prove that the $\\varSigma^1_2$ equi-constructibility graph on the reals is not generated by a countable family of ROD functions in the Solovay model.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}