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

 (academic.oup.com)

16 points | by danny00 2 days ago ago

No comments yet.