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

(academic.oup.com)

15 points by danny002 days ago

0 comments