Timeline for Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 15, 2016 at 4:09 | comment | added | Sebastian Conybeare | Thanks! I've edited the question to take into account your point about the subtlety of stating the ultrafilter principle in constructive settings. | |
| Mar 15, 2016 at 3:36 | history | edited | François G. Dorais | CC BY-SA 3.0 |
added 5 characters in body
|
| Mar 15, 2016 at 3:21 | history | answered | François G. Dorais | CC BY-SA 3.0 |