Author Info
Name
Affiliation
Papers
MICHAEL RATHJEN
Department of Pure MathematicsUniversity of LeedsLeedsEnglandLS2 9JTUnited Kingdom
8
Collaborators
Citations 
PageRank 
4
42
6.58
Referers 
Referees 
References 
34
27
43
Title
Citations
PageRank
Year
Long Sequences of Descending Theories and other Miscellanea on Slow Consistency.00.342017
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience.20.402014
Relativized ordinal analysis: The case of Power Kripke-Platek set theory.10.382014
Characterizing the interpretation of set theory in Martin-Löf type theory60.622006
An Ordinal Analysis Of Parameter Free Pi(1)(2)-Comprehension50.522005
Constructive Set Theory and Brouwerian Principles71.052005
Inaccessible set axioms may have little consistency strength81.192002
Inaccessibility in constructive set theory and type theory132.081998