Well ordering principles and bar induction - Michael Rathjen; Pedro Francisco Valencia Vizcaino (2014)