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

[Thomas Forster]

You could try asking Conway, of course, but i may be able to help. I
*think* the results appeared in the Springer LNM volume of a conference in
Cambridge about that time.  There is also something about this in Levy's
survey article in Skolem memorial Noth Holland volume 1963 or thereabouts.
But perhaps all he said was that the problem was open.  I know nothing of
the work of Gauntt in this area, and i would like to hear more

             tf

On Wed, 7 
Dec 2005 joeshipman at aol.com wrote:

> 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 
>  
> 
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 

-- 

  URL: www.dpmms.cam.ac.uk/~tf   Tel: +44-1223-337981
  (U Cambridge); +44-20-7882-3659 (QMW); +32-2-650-5853 (ULB)