%0 Journal Article %1 journals/corr/KrausS13 %A Kraus, Nicolai %A Sattler, Christian %D 2013 %J CoRR %K %T On the Hierarchy of Univalent Universes: U(n) is not n-Truncated. %U http://dblp.uni-trier.de/db/journals/corr/corr1311.html#KrausS13 %V abs/1311.4002

@article{journals/corr/KrausS13, added-at = {2023-12-13T00:10:34.000+0100}, author = {Kraus, Nicolai and Sattler, Christian}, biburl = {https://www.bibsonomy.org/bibtex/284401dcfb1c276d1126ba941f166c4d3/admin}, ee = {http://arxiv.org/abs/1311.4002}, interhash = {5fd07c5905ec2d128078ffffc7153f07}, intrahash = {84401dcfb1c276d1126ba941f166c4d3}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:10:34.000+0100}, title = {On the Hierarchy of Univalent Universes: U(n) is not n-Truncated.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1311.html#KrausS13}, volume = {abs/1311.4002}, year = 2013 }