Key points are not available for this paper at this time.
We construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4 4 -manifold with non-cyclic fundamental group Z / 2 × Z / 2 Z/2 Z/2.
Naylor et al. (Tue,) studied this question.