Graph explorer

Michael Rathjen

Michael Rathjen contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMichael Rathjen
13 nodes12 links
Michael Rathjen13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMichael RathjenResearcherWConstructive Zermelo-Fr...preprint / 2013WGoodstein revisitedpreprint / 2014WIndefiniteness in semi-...preprint / 2014WWell ordering principle...preprint / 2014WOrdinal notation system...preprint / 2015WRemarks on Barr's t...preprint / 2016WMinimal bad sequences a...preprint / 2020WAn order-theoretic char...preprint / 2015WOn the Constructive Ded...preprint / 2015WRealizability Models Se...preprint / 2015WOrdinal analysis of int...preprint / 2016WClassifying the provabl...preprint / 2016
PersonSignal 1012 links

Michael Rathjen

Researcher

Open