Timeline for Closure of one relation w.r.t other
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 25, 2013 at 11:32 | comment | added | Joel David Hamkins | Jason, yes, that's right. Gerhard, yes, that aspect makes it unusual; I don't know any reference. | |
| May 25, 2013 at 5:54 | comment | added | Gerhard Paseman | The intriguing aspect of this is that he requires R(a,b) before "augmenting" R; just having R(a',b) is not enough. This makes it different (and more restrictive) than many constructs that augment relations similarly. It is barely possible that Tarski might have considered something like this, and that Steve Givant would know of a reference. Perhaps Joel could bring this to Steve's attention? Gerhard "Thinks Tolerances May Also Relate" Paseman, 2013.05.24 | |
| May 25, 2013 at 5:28 | comment | added | Jason Rute | Is $\textrm{dom}(R) = \{a : \exists b\ R(a,b)\}$? | |
| May 25, 2013 at 2:22 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |