Title: Priority arguments and models of arithmetic