Timeline for Is $\prod_{X : \mathcal{U}} (X \to X) \cong 1$ consistent with type theory?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18 at 12:02 | vote | accept | Mario | ||
| Feb 21, 2020 at 18:45 | history | edited | YCor |
edited tags
|
|
| Feb 21, 2020 at 15:33 | vote | accept | Mario | ||
| Feb 21, 2020 at 17:40 | |||||
| Feb 21, 2020 at 11:37 | answer | added | András Kovács | timeline score: 8 | |
| Jan 16, 2020 at 16:09 | history | edited | Mario | CC BY-SA 4.0 |
Still changing words
|
| Jan 16, 2020 at 15:55 | history | edited | Mario | CC BY-SA 4.0 |
Extremely embarrasing confusion between "admissible" and "consistent"
|
| Jan 16, 2020 at 15:54 | comment | added | Mario | Oh, that's totally true. Thank you. | |
| Jan 16, 2020 at 14:23 | comment | added | Max New | I think "admissible" is the wrong word here. You probably mean consistent? | |
| Jan 16, 2020 at 12:35 | history | edited | Mario | CC BY-SA 4.0 |
edited title
|
| Jan 16, 2020 at 12:30 | history | asked | Mario | CC BY-SA 4.0 |