The Independence of The Prime Ideal Theorem From The Order-Extension Principle.

U. Felgner J. K. Truss The Independence of The Prime Ideal Theorem From The Order-Extension Principle. 199-215 1999 64 J. Symb. Log. 1 db/journals/jsyml/jsyml64.html#FelgnerT99