Have a personal or library account? Click to login
Non-Trivial Universes and Sequences of Universes Cover

Non-Trivial Universes and Sequences of Universes

Formalized Mathematics
Volume 30 (2022): Issue 1 (April 2022)
By: Roland Coghetto  
Open Access
|Dec 2022

Metrics

DOI: https://doi.org/10.2478/forma-2022-0005 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 53 - 66
Accepted on: Apr 30, 2022
|
Published on: Dec 21, 2022
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Tarski-Grothendieck set theory,
Grothendieck universe,
universe hierarchy
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2022 Roland Coghetto, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Previous articleVolume 30 (2022): Issue 1 (April 2022)Next article