1. Zum Hilbert schen Aufbau der reelen Zahlen;Ackermann;Math. Ann,1928
2. Σ11-formulae on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
3. Arithmetizing uniform;Allen;NC, Ann. Pure Appl. Logic,1991
4. Primitive recursive word-functions of one variable;Asser,1987
5. Arithmetization: a new method in structural complexity theory;Babai;Computational complexity,1991