A proof of Hechler's theorem on embedding \(\aleph_1\)-directed sets cofinally into \((\omega^\omega,<^*)\) Maxim R. Burke Pages: 399 - 403
A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity Andreas Weiermann Pages: 445 - 460