Re: motion43 new vesion

[Ralph Baker Kearfott <rbk5287@xxxxxxxxxxxxx>]

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


--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------