Timeline for Remark 5.4.2.15 in HTT
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 10, 2021 at 12:35 | comment | added | Sil Linskens | @AlessandroCodenotti Hello Alessandro!! | |
| Mar 10, 2021 at 11:29 | comment | added | Alessandro Codenotti | Hi @Sil, welcome to MO! | |
| Mar 10, 2021 at 1:51 | history | became hot network question | |||
| Mar 9, 2021 at 19:29 | vote | accept | Sil Linskens | ||
| Mar 9, 2021 at 17:59 | answer | added | Simon Henry | timeline score: 10 | |
| Mar 9, 2021 at 17:58 | comment | added | Tim Campion | 5.4.2.13 also tells you that $\mathcal C^\tau$ is (essentially) small. So let $\tau'$ be a regular cardinal bigger than the presentability rank of $F(c)$ for any $c \in \mathcal C^\tau$. | |
| Mar 9, 2021 at 17:55 | review | First posts | |||
| Mar 9, 2021 at 18:18 | |||||
| Mar 9, 2021 at 17:50 | history | asked | Sil Linskens | CC BY-SA 4.0 |