Timeline for What is your favorite proof of Tychonoff's Theorem?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2017 at 5:39 | comment | added | მამუკა ჯიბლაძე | Minimally - one may reduce appeals to AC to the fact that any compact regular locale is spatial. | |
| May 31, 2010 at 8:03 | comment | added | Dmitri Pavlov | @Mike: Yes, you are right. What I actually meant is that equivalence of categories of compact regular locales and compact regular (or Hausdorff) topological spaces requires some form of AC. | |
| May 31, 2010 at 2:41 | comment | added | Mike Shulman | No, the categories of spatial locales and sober spaces are always equivalent. The reason that Tychonoff for locales doesn't imply Tychonoff for spaces is that the locale product of a family of spatial locales may no longer be spatial. | |
| May 30, 2010 at 8:39 | comment | added | Dmitri Pavlov | @Martin: Tychonoff's theorem for locales does not require any form of the axiom of choice. However, the categories of spatial locales and sober topological spaces are equivalent only if AC is true. | |
| May 30, 2010 at 8:07 | comment | added | Martin Brandenburg | Tychonoff and AC are equivalent in ZF. | |
| May 30, 2010 at 7:02 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
deleted 253 characters in body
|
| May 30, 2010 at 6:55 | history | answered | Andrej Bauer | CC BY-SA 2.5 |