Authors: Hetzl, Stefan¹ stefan.hetzl@pps.jussieu.fr

Superior Title: Archive for Mathematical Logic. Jun2010, Vol. 49 Issue 5, p529-554. 26p.

Subject Terms: *ARITHMETIC, *EXISTENTIALLY closed groups, *MATHEMATICAL formulas, *COMPUTATIONAL complexity, *SET theory