Monthly Archives: October 2014

Separating the choice scheme from the parameter-free choice scheme in second-order arithmetic

This post is motivated by a really great paper of Wojciech Guzicki from the 1970s entitled “On weaker forms of choice in second-order arithmetic” [1] that I recently stumbled on while trying to trace the history of choice principles in … Continue reading

Posted in research | Tagged , , | 2 Comments