Timeline for Consistency of "the sharp of every set exists"
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 26, 2017 at 8:51 | vote | accept | Julian Barathieu | ||
| Nov 26, 2017 at 2:57 | answer | added | Dmytro Taranovsky | timeline score: 6 | |
| Nov 15, 2017 at 5:40 | review | Close votes | |||
| Nov 15, 2017 at 13:32 | |||||
| Nov 15, 2017 at 5:10 | comment | added | Mohammad Golshani | see A review of sharps | |
| Nov 15, 2017 at 5:06 | history | edited | bof | CC BY-SA 3.0 |
corrected typo
|
| Nov 15, 2017 at 0:06 | comment | added | Asaf Karagila♦ | (1) It's a bit odd to ask about a technical concept without understanding the odds and ends of that technical concept. (2) I know there are ways to define sharps, but I am interested in how you think about sharps, because that would matter for the final answer, at least to some extent. | |
| Nov 14, 2017 at 23:41 | comment | added | Asaf Karagila♦ | How do you define $\Bbb R^\#$? Is it by asserting the existence of an embedding $j\colon L(\Bbb R)\to L(\Bbb R)$? Or the existence of indiscernibles? Or a real which codes the truth predicate and some clever requirements? | |
| Nov 14, 2017 at 22:15 | history | edited | Julian Barathieu | CC BY-SA 3.0 |
added 267 characters in body
|
| Nov 14, 2017 at 22:09 | comment | added | François G. Dorais | If $\kappa$ is Jónsson then $V_\kappa \vDash$ all sharps exist, so the existence of a single Jónsson cardinal is strictly stronger than the existence of all sharps in consistency strength. | |
| Nov 14, 2017 at 18:09 | history | edited | Julian Barathieu | CC BY-SA 3.0 |
added 13 characters in body
|
| Nov 14, 2017 at 18:01 | history | asked | Julian Barathieu | CC BY-SA 3.0 |