New answers tagged

0 votes

A question about the axiom of dependent choice

It appears the result is a consequence of a general result of Joseph Shoenfield (A relative consistency proof, J. Symbolic Logic 19 (1954), 21–28) which, in turn, is an improvement of results of ...
user avatar

Top 50 recent answers are included