Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Michel Hack wrote:
As for the perceived conflict between Motion 23 and (revised Motion 19, I'll have to re-read the latter to refresh my mind, but I interpreted M0019 primarily as providing a framework for describing additionalinterval types, beyond those formally supported by the standard.
It seems to me that, if Motion 23 passes, it will make Motion 19 vacuous, but does not lead to a contradiction. Arnold neumaier