Timeline for Do Measurable Cardinals Exist? (assuming ZFC)
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2013 at 22:10 | comment | added | François G. Dorais | @Tom: The measure problem - is there a non-atomic (two-valued) probability measure defined on all subsets of a given set - makes perfect sense in ETCS. | |
| Jul 8, 2013 at 21:54 | comment | added | Asaf Karagila♦ | @Tom: No problems. I've added something which is more related to categories, but I don't know how well it works with $\sf ETCS$ or structural set theory. | |
| Jul 8, 2013 at 21:53 | history | edited | Asaf Karagila♦ | CC BY-SA 3.0 |
added 368 characters in body
|
| Jul 8, 2013 at 21:49 | vote | accept | Tom LaGatta | ||
| Jul 8, 2013 at 21:49 | comment | added | Tom LaGatta | Excellent dissolution of the problem, Asaf Karagila and @Andres Caicedo. Thanks. | |
| Jul 8, 2013 at 21:36 | history | answered | Asaf Karagila♦ | CC BY-SA 3.0 |