Timeline for Are partial elements necessary in boolean-valued models?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2021 at 22:41 | comment | added | Zhen Lin | I know the definition. The tripos-to-topos construction is how I'm convincing myself that this is equivalent to the obvious definition of "$\Sigma$-structure in $\textbf{Sh} (A)$". | |
| Mar 13, 2021 at 18:51 | comment | added | Andrej Bauer | Are you familiar with triposes? | |
| Mar 13, 2021 at 15:58 | history | asked | Zhen Lin | CC BY-SA 4.0 |