← Back to articles

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

2026-05-03 | original

read original more articles

Article content not available. Read the full article at the source.

Explore topics: mahlo universe martin-löf type theory predicative extended