Bounds and definability in polynomial rings