1 - 2 / 2 1 |
1. Formalization of the structure sheaf of a ring spectrum Maša Žaucer, 2024, diplomsko delo Ključne besede: Dependent type theory, constructive mathematics, formalization, Zariski locale, structure sheaf |
2. Toposni modeli principov teorije množic Severin Mejak, 2019, magistrsko delo Ključne besede: topos, sheaf, site, axiom of choice, dependent choice, countable choice, independence |