Timeline for Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 23, 2016 at 7:26 | vote | accept | Sebastian Conybeare | ||
| Mar 15, 2016 at 12:35 | comment | added | Simon Henry | The article also seems to claim that it does not implies more than the De Morgan's law (it uses this as an argument to say that this form of the ultrafilter lemma does not implies stone representation theorem because stone representation would implies the law of excluded middle) but I don't see a proof of this in the article. | |
| Mar 15, 2016 at 12:32 | comment | added | Simon Henry | Thanks for the precision, I did not know this references. The proof in the article is a little more "High tech", but it's good to have a confirmation. | |
| Mar 15, 2016 at 12:09 | comment | added | Todd Trimble | A propos of this answer, there is an article of John Bell which asserts the same thing: publish.uwo.ca/~jbell/BOOLCON.pdf | |
| Mar 15, 2016 at 11:38 | history | answered | Simon Henry | CC BY-SA 3.0 |