Re: motion43 new vesion

["J. Wolff von Gudenberg" <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

done
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

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

Attachment: div2pair.pdf
Description: Adobe PDF document