Skip to content
Tech News
← 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
Related:
Conversations with a six-year-old on functional programming (2018)
USB Power Delivery: Plugging into the Benefits
Author Correction: PTC-bearing mRNA elicits a genetic compensation response via Upf3a and COMPASS components
Author Correction: Hidden states and dynamics of fractional fillings in twisted MoTe<sub>2</sub> bilayers
Tencent’s Core Businesses Help Cushion Burden of Intensified AI Push

© 2026 GoKawiil

About | Editorial Policy | Contact