Timeline for Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 23, 2016 at 7:26 | vote | accept | Sebastian Conybeare | ||
| Mar 15, 2016 at 11:38 | answer | added | Simon Henry | timeline score: 5 | |
| Mar 15, 2016 at 4:12 | history | edited | Sebastian Conybeare | CC BY-SA 3.0 |
fix grammar in title
|
| Mar 15, 2016 at 4:06 | history | edited | Sebastian Conybeare | CC BY-SA 3.0 |
clarify the point of the question, respond to François' answe
|
| Mar 15, 2016 at 3:21 | answer | added | François G. Dorais | timeline score: 4 | |
| Mar 15, 2016 at 2:33 | history | asked | Sebastian Conybeare | CC BY-SA 3.0 |