Henriksen and Isbell on f-rings

This paper gives an account of the contributions of Melvin Henriksen and John Isbell to the abstract theory of f-rings and formally real f-rings, with particular attention to the manner in which their work was framed by universal algebra. I describe the origins of the Pierce–Birkhoff Conjecture and present some other unsolved problems suggested by their work.