1. Zur Widerspruchsfreiheit der Zahlentheorie;Ackermann;Math. Annalen,1940
2. Konstruktiver Aufbau eines Absohnitts der zweiten Cantorschen Zahlenklasse;Ackermann;Math. Zeitschrift,1951
3. Uber das Induktionssohema in der rekursiven Zahlentheorie;Bernays,1951
4. The constructive second number class;Church;Bulletin of the American Math. Soc.,1938
5. Binary Recursive Arithmetic;Church;J. de Math.,1957