Skip to content
The extended predicative Mahlo universe in Martin-Löf type theory — txtfeed | txtfeed