[FOM] Need statement of Conway/Gauntt result on finite choice axioms
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