Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu The simplicial model of univalent foundations (after Voevodsky). (English) Zbl 1471.18025 J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071-2126 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18C50 55U10 55U35 PDF BibTeX XML Cite \textit{K. Kapulkin} and \textit{P. L. Lumsdaine}, J. Eur. Math. Soc. (JEMS) 23, No. 6, 2071--2126 (2021; Zbl 1471.18025) Full Text: DOI arXiv OpenURL
Shapira, Uri; Weiss, Barak Stable lattices and the diagonal group. (English) Zbl 1370.11074 J. Eur. Math. Soc. (JEMS) 18, No. 8, 1753-1767 (2016). Reviewer: Alar Leibak (Tallinn) MSC: 11H06 52C07 22E10 11H46 PDF BibTeX XML Cite \textit{U. Shapira} and \textit{B. Weiss}, J. Eur. Math. Soc. (JEMS) 18, No. 8, 1753--1767 (2016; Zbl 1370.11074) Full Text: DOI arXiv OpenURL