Fixed point theories and dependent choice

Gerhard Jäger, Thomas Strahm. Fixed point theories and dependent choice. Arch. Math. Log., 39(7):493-508, 2000. [doi]

Abstract

Abstract is missing.