Non-Trivial Universes and Sequences of Universes

Publicado en línea: 21 dic 2022

Páginas: 53 - 66

Aceptado: 30 abr 2022

DOI: https://doi.org/10.2478/forma-2022-0005

Palabras clave

Tarski-Grothendieck set theory, Grothendieck universe, universe hierarchy

© 2022 Roland Coghetto, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.