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

Re: motion43 new vesion

Juergen,

Shouldn't ([a],[b]) in formulas (6)-(8) be swapped to ([b],[a]) ? 

  -Dima

----- Исходное сообщение -----
От: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Кому: rbk@xxxxxxxxxxxxx, stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Четверг, 25 Апрель 2013 г 19:27:26 GMT +04:00 Абу-Даби, Маскат
Тема: 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