Re: motion43 new vesion

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

ok, I see the point.
I'll swap the arguments of mulRev tomorrow
Juergen
Am 25.04.2013 21:07, schrieb Ralph Baker Kearfott:
> Juergen,
>
> Please respond to Dima's latest (on April 25) comment, so I may start
> the voting.
>
> Best regards,
>
> Baker
>
> On 04/25/2013 10:26 AM, J. Wolff von Gudenberg wrote:
> > Baker, P1788
> >  please find attached the new version of motion 43.
> > I have (hopefully)corrected all faults and clarified the notation
> > One comment on oo)  vs oo]
> > since motion 3 we have defined IRbar which denotes unbounded intervals
> > by oo]
> > oo) is only for general subsets of the reals
> >
> > Juergen

--
     o           Prof. Dr. Juergen Wolff von Gudenberg,  Lehrstuhl fuer 
Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg