Timeline for Weaker forms of Vopěnka's principle (using Indiscernables and other forms of Elementarity): How weak are they?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2017 at 1:22 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 316 characters in body
|
| Nov 5, 2017 at 1:11 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 85 characters in body
|
| Nov 5, 2017 at 0:52 | vote | accept | Keith Millar | ||
| Nov 5, 2017 at 0:51 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 7 characters in body
|
| Nov 5, 2017 at 0:51 | comment | added | Joel David Hamkins | It also isn't expressible in NBG (same as what I call GBC) without the additional assumption that there is a truth predicate. But in this case, it is provable, by the argument I give. | |
| Nov 5, 2017 at 0:50 | comment | added | Keith Millar | Oh, I meant NBG, sorry to not specify. | |
| Nov 5, 2017 at 0:49 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 21 characters in body
|
| Nov 5, 2017 at 0:35 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |