Timeline for How to characterize properties that behave well with Reflection Principles
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 17 at 15:29 | comment | added | Joel David Hamkins | @AsafKaragila Those refer to set difference and negation. So a theorem by Karagila\Hamkins would mean that you proved it entirely on your own, despite harmful sabotaging suggestions by me. | |
| Jan 1, 2023 at 13:05 | comment | added | Asaf Karagila♦ | Good suggestion, @Andrés, but this raises the obvious question. What would / and \ mean? Or ~? | |
| Jan 1, 2023 at 2:06 | comment | added | Joel David Hamkins | Yes! I agree with this. | |
| Jan 1, 2023 at 1:51 | comment | added | Andrés E. Caicedo | I would use semi-colons to indicate independent teams. | |
| Dec 31, 2022 at 16:08 | comment | added | Joel David Hamkins | I have seen + used for joint work also. | |
| Dec 31, 2022 at 15:32 | comment | added | Asaf Karagila♦ | This is why we use en-dash and not a hyphen (I agree that this can be tricky with hyphenated names, though). But that was just my observation over the years. | |
| Dec 31, 2022 at 15:23 | comment | added | Joel David Hamkins | Is that a convention? I haven't ever noticed it (although one sees hyphens sometimes and commas at other times. I would think hyphens are a problem, because of hypenated names. In any case, since Yao (who became my student after we proved this) had partial results in his dissertation, I don't find the comma too far off anyway. | |
| Dec 31, 2022 at 15:15 | comment | added | Asaf Karagila♦ | Not to be pedantic (although, to be fair, to be very pedantic), that comma there is very interesting in the (Yao, Hamkins). Normally joint works are marked as A–B and independent/complementary work is marked as A,B. | |
| Dec 31, 2022 at 14:46 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 4 characters in body
|
| Dec 31, 2022 at 14:36 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 86 characters in body
|
| Dec 31, 2022 at 14:25 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 464 characters in body
|
| Dec 31, 2022 at 14:14 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |