Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Disjoint, subset, & interior, or more...???

George Corliss wrote:

Baker,

On Oct 4, 2010, at 6:18 AM, Dan Zuras Intervals wrote:


And I feel eminently unqualified to do so.


A couple of other people have expressed similar sentiments.
I am willing to actually make that motion, just to move things
along, if Arnold is still unwilling to formally register and
participate officially.  However, it may add to the confusion
if such a motion is put forward before 13.04, 20, and 21 are
processed.  What do you think?


Oh, it should come after them.
Definitely.
I agree. I suspect one factor contributing to the relatively low voter turnout on 13 & 21 (did I say PLEASE VOTE) may be information overload. Let's let a few of these run to completion. 

I agree, too.
I also have the observation that yet another problem contributing to confusion is that comparision relations are affected by wether intervals such as [1,Infinity] are unbounded or bounded (say, because of an IsBounded decoration or Overflow, etc.).
For example, on the one hand Arnold argues that the "interior" relation in Motion 13.04 is not topological interior. THis criticism is valid only for unbounded intervals. On the other hand, Arnold also advocates an IsBounded deocration. In that case, the definition for "interior" in Motion 13.04 _is_ the correct definition of topological interior (by his own logic and reasoning as shown in recent e-mails in this forum).
So some of these confusing aspects I suspect are not going to go away until P1788 tackles these other related issues. 

Nate Hayes