some corrections
incl. fix proof of no vpr => minimal => strongly minimal
proof of extending bad uncountable models