Horikawa surface
In mathematics, a Horikawa surface is one of the surfaces of general type introduced by Eiji Horikawa.
These are surfaces with q = 0 and pg = c12/2 + 2 or c12/2 + 3/2.
They are all simply connected, and Horikawa gave a detailed description of them.