The extended predicative Mahlo universe in Martin-Löf type theory
20 points
2 days ago
| 0 comments
| academic.oup.com
| HN
No one has commented on this post.