The extended predicative Mahlo universe in Martin-Löf type theoryacademic.oup.com
24 points by danny00 3 days ago | 0 comments