The extended predicative Mahlo universe in Martin-Löf type theory (2023)
Posted 3 days ago by
danny00
28
points
https://academic.oup.com/logcom/article/34/6/1032/7158523
0
comments