Martin's Axiom Applied to Existentially Closed Groups. Angus Macintyre (1973) Mathematica Scandinavica