1
Academic Journal
Authors: Hetzl, Stefan1 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