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

(academic.oup.com)

30 points | by danny00 5 days ago ago

No comments yet.