Otwarty dostęp

Non-Trivial Universes and Sequences of Universes

Roland Coghetto

Coghetto, Roland

21 gru 2022

Non-Trivial Universes and Sequences of Universes's Cover Image

Formalized Mathematics

Tom 30 (2022): Zeszyt 1 (Kwiecień 2022)

O artykule

Poprzedni artykuł

Następny artykuł

Zacytuj

Udostępnij

Pobierz okładkę

Data publikacji: 21 gru 2022

Zakres stron: 53 - 66

Przyjęty: 30 kwi 2022

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

Słowa kluczowe
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.

Język:: Angielski

Częstotliwość wydawania:: 1 razy w roku
Dziedziny czasopisma:: Informatyka, Informatyka, inne, Matematyka, Matematyka ogólna

Kanał RSS czasopisma