Boundedness for surfaces on smooth fourfolds

We prove that on any complex projective smooth fourfold F with Néron–Severi group NS(F)similar, equalsZ, there are only finitely many components of the Hilbert scheme parameterizing smooth surfaces not of general type.