Locally countable graphs of second projective class not generated by countably many projective functions math.LO · 2026-05-04 · 4 refs