A proof via the Seiberg-Witten moduli space of Donaldson's theorem on   smooth 4-manifolds with definite intersection forms
  A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms. 
Mikhail G. Katz
math.DG math-ph math.AP math.AT math.MP