The extended predicative Mahlo universe in Martin-Löf type theory (2023) | Hacker News

The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com)

28 points by danny00 3 days ago | discuss