Timeline for Self-Satisfying Properties
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2016 at 13:45 | vote | accept | Daniel Miller | ||
| Aug 18, 2011 at 2:28 | comment | added | Daniel Miller | Sorry, I was a little bit vague about whether or not I wanted $P(x)$ to hold. I am interested in when $P(K_P (X))$ holds for arbitrary $x$. | |
| Aug 18, 2011 at 0:01 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 116 characters in body
|
| Aug 17, 2011 at 23:54 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 230 characters in body
|
| Aug 17, 2011 at 23:21 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |