Reverse mathematics and order theoretic fixed point theorems
scientific article; zbMATH DE number 6714188
scientific article