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

 (academic.oup.com)

25 points | by danny00 2 days ago

0 comments