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:
Windows Server 2022 reaches end of mainstream support next month
Gemini 3.8 Live and 3.8 Live Extended Thinking
Google Chrome starts two-week release cycle with version 153
Google puts Chrome updates on the fast track with its newest release
Chrome will now release updates every two weeks to better tackle security threats

© 2026 GoKawiil

About | Editorial Policy | Contact | Email Alerts