Timeline for Boolean-Valued Models: Why is $\| x=y \| \cdot \| \phi(x) \| \leq \| \phi(y) \|$?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 29, 2015 at 0:45 | vote | accept | CommunityBot | ||
| Nov 29, 2015 at 0:42 | history | answered | Sam Roberts | CC BY-SA 3.0 |