Epsilon Numbers
Publisher
Springer Singapore
Reference65 articles.
1. Contemporary Mathematics;VM Abrusci,1987
2. Ackermann, W.: Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann. 117, 162–194 (1940)
3. Arai, T.: Slow growing analogue to Buchholz’ proof. Ann. Pure Appl. Logic 54, 101–120 (1991)
4. Arai, T.: Some results on cut-elimination, provable well-orderings, induction and reflection. Ann. Pure Appl. Logic 95, 93–184 (1998)
5. Arai, T.: Consistency proof via pointwise induction. Arch. Math. Logic 37, 149–165 (1998)