WQO and BQO theory in subsystems of second order arithmetic

http://hdl.handle.net/11390/690410

http://www.aslonline.org/books-lnl_21.html

closed access