Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas Weiermann - Ohio University - Document - PDFSEARCH.IO

First Page	Meta Content
	Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas Weiermann Add to Reading List Document Date: 2014-04-24 05:12:42 Open Document File Size: 470,52 KB Share Result on Facebook

Proof–theoretic investigations on Kruskal’s theorem Michael Rathjen Department of Mathematics, Ohio State University Columbus, Ohio 43210, USA Andreas WeiermannAdd to Reading List