[FOM] Need statement of Conway/Gauntt result on finite choice axioms

joeshipman@aol.com joeshipman at aol.com
Wed Dec 7 13:34:44 EST 2005

Forster recently referred to work done by Conway about 35 years ago, 
analyzing the logical relations between finite choice axioms of the 
form "Every collection of n-element sets has a choice function". There 
were two kinds of implication involved, "effective" and "ineffective". 
This work was completed by Gauntt. 
I can't find any statement of the results online. Can someone with 
access to a good library please post a precise statement of Conway's 
and Gauntt's findings? 
-- Joseph Shipman 

More information about the FOM mailing list