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

motion43 new vesion

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