Non-trivial universes and sequences of universes
From MaRDI portal
Publication:6489401
Recommendations
Cites work
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A tale of two set theories
- Category theory in context
- Grothendieck universes
- Higher Topos Theory (AM-170)
- Mizar: state-of-the-art and beyond
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Veblen hierarchy
This page was built for publication: Non-trivial universes and sequences of universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489401)