Undecidable Complexity Statements in E alpha S-Arithmetic