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

(academic.oup.com) by danny00 | May 3, 2026 | 0 comments on HN