The Independence of The Prime Ideal Theorem From The Order-Extension Principle. - Ulrich Felgner; John Kenneth Truss (J. Symb. Log., 1999)