Non-Trivial Universes and Sequences of Universes

Publié en ligne: 21 déc. 2022

Pages: 53 - 66

Accepté: 30 avr. 2022

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

Mots clés

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.