Re: motioin43 amended
Folk
On 24 Apr 2013, at 15:54, Kreinovich, Vladik wrote:
> To me (and I guess to Baker), the notation [-inf, +inf] implies that we use extended reals and include -inf and +inf as explicit elements, just like [0,1] means that the interval explicitly includes 0 and 1. This is how math papers usually handle this situation.
>
> and this is NOT what we intend, since we do not plan to have +inf and -inf as elements of our sets.
Our convention is clearly set out in the Level 1 text. Specifically in the V7.1 draft of 2013/04/02, §9.2 "Intervals", main text and the first two Notes therein. It was much discussed and I see no need to discuss it again.
John Pryce