A note on Wronskians and the ABC theorem in function fields of prime characteristic Diophantine undecidability of function fields of characteristic greater than 2, finitely generated over fields algebraic over a finite field 