//-->
A game-theoretic equivalence to the Hahn-Banach theorem
Lewis, Alain A., (1990)
An infinite version of Arrow's theorem in the effective setting
Lewis, Alain A., (1988)
Lower bounds on degrees of game-theoretic structures