Macintyre A. Martin’s Axiom Applied to Existentially Closed Groups. Math. Scand. 1973;32:46-56. doi:10.7146/math.scand.a-11445