I second motion P1788/M003.01_Set_of_reals

[Michel Hack <hack@xxxxxxxxxxxxxx>]

I second Juergen Wolff von Gudenberg's motion that intervals
should NOT "Contain Infinity as a Member".

I have to admit that I'm partial to the Vienna approach.  I think
definiteness on this issue will help focus our effort.  It may be
possible to defer this choice in the "levels" framework, but I'm
afraid we will continuously be distracted by details that apply
in contradictory ways depending on Infinity as a member, or not.

Michel.
Sent: 2009-03-15 04:53:44 UTC