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

Posted by danny00 6 days ago

30 points | 0 comments