BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Rathjen
SearchCollections
Map detail
Michael Rathjen13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael RathjenAMichael RathjenResearcherConstructive Zermelo-Fraenkel set theory and the limited principle of omniscienceWConstructive Zermelo-Fr...preprint / 2013Goodstein revisitedWGoodstein revisitedpreprint / 2014Indefiniteness in semi-intuitionistic set theories: On a conjecture of FefermanWIndefiniteness in semi-...preprint / 2014Well ordering principles and bar inductionWWell ordering principle...preprint / 2014Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-conditionWOrdinal notation system...preprint / 2015Remarks on Barr's theorem: Proofs in geometric theoriesWRemarks on Barr's theor...preprint / 2016Minimal bad sequences are necessary for a uniform Kruskal theoremWMinimal bad sequences a...preprint / 2020An order-theoretic characterization of the Howard-Bachmann-hierarchyWAn order-theoretic char...preprint / 2015On the Constructive Dedekind RealsWOn the Constructive Ded...preprint / 2015Realizability Models Separating Various Fan TheoremsWRealizability Models Se...preprint / 2015Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theoryWOrdinal analysis of int...preprint / 2016Classifying the provably total set functions of KP and KP(P)WClassifying the provabl...preprint / 2016
Person12 links

Michael Rathjen

Researcher

PaperConstructive Zermelo-Fraenkel set theory and the limited principle of omniscienceAuthorship / preprint / 2013PaperGoodstein revisitedAuthorship / preprint / 2014PaperIndefiniteness in semi-intuitionistic set theories: On a conjecture of FefermanAuthorship / preprint / 2014PaperWell ordering principles and bar inductionAuthorship / preprint / 2014PaperOrdinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-conditionAuthorship / preprint / 2015PaperRemarks on Barr's theorem: Proofs in geometric theoriesAuthorship / preprint / 2016PaperMinimal bad sequences are necessary for a uniform Kruskal theoremAuthorship / preprint / 2020PaperAn order-theoretic characterization of the Howard-Bachmann-hierarchyAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)