The strength of Martin-Löf type theory with a superuniverse. Part II Michael Rathjen Pages: 207 - 233