\ymeanc macro:->Atserias, Albert.\5 \ymeanc S.~Cook \and P.~Nguyen, \tbook {Logical foundations of proof complexity}\5 \ymeanc macro:->Albert Atserias\5 \5 17\5 03\5 \5 462\5 \5 \5 \5 review \5 review \5 \6 \ymeanc macro:->Barmpalias, George.\5 \ymeanc M.~Lerman, \tbook {A framework for priority arguments}\5 \ymeanc macro:->George Barmpalias\5 \5 17\5 03\5 \5 464\5 \5 \5 \5 review \5 review \5 \6 \ymeanc macro:->Schimmerling, Ernest.\5 \ymeanc I.~Farah, \tarticle {All automorphisms of the Calkin algebra are inner}\5 \ymeanc macro:->Ernest Schimmerling\5 \5 17\5 03\5 \5 467\5 \5 \5 \5 review \5 review \5 \6