logoalt Hacker News

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

28 points • by danny00 • last Sunday at 12:43 PM • 0 comments • view on HN

Comments