Graça, DanielBuescu, JorgeCampagnolo, Manuel2012-04-132012-04-132008AUT: DGR01772;http://hdl.handle.net/10400.1/1016Consider the initial-value problem with computable parameters dx dt = p(t, x) x(t0) = x0, where p : Rn+1 ! Rn is a vector of polynomials and (t0, x0) 2 Rn+1. We show that the problem of determining whether the maximal interval of definition of this initial-value problem is bounded or not is in general undecidable.engconference object