The extended predicative Mahlo universe in Martin-Löf type theory (2023)academic.oup.com30 points·danny00··0 commentsOpen articleSaveView on HN