Correct to Re: Tarski's metatheorem ....

[Sonnet Nguyen <sonnet@theta1.ifpan.edu.pl>]

Hi,
I maked a mistake in my previous message:
  
> 1)For each polynomial f: if (a<b and a,b \in K) f(a).f(b)<0, then 
>   there exists c\in K: a<c<b such that  f(c)=0;  (continuous property)
> 2)For each polynomial f: if f(c)=f(d)=0, then there exists t\in K
>   such that f'(t)=0.

In 2) we require more that c<t<d; (c<d and c,d \in K) 
(In R, it's a consequence of Roll's theorem, i.e. f(d)-f(c)=f'(t).(d-c)). 

cheers,
SN 
 ---------------------------------------------------------
 |  Sonnet Nguyen,  Polish Acad. of Scie.                |
 |  Tel. (Office) (48-22) 43-70-01 ext. 1313             |
 |                (48-22) 47-09-20                       |
 ---------------------------------------------------------