3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |