A note on Wronskians and the ABC theorem in function fields of prime characteristic Bertini theorems and Lefschetz pencils over discrete valuation rings, with applications to higher class field theory 