## The strength of Martin-Löf type theory with a superuniverse. Part II (2000)

by
Michael Rathjen

Venue: | PART I. ARCHIVE FOR MATHEMATICAL LOGIC 39, ISSUE |

Citations: | 7 - 2 self |