FOM: Finite AC?

Kanovei kanovei at wminf2.math.uni-wuppertal.de
Tue Dec 23 13:04:51 EST 1997

>How should we formulate the "finite version" of AC? As P=NP?
>From: "Karlis Podnieks" <podnieks at cclu.lv>

Perhaps P=NP looks more like CH in the sense that
1) it deals with two things compared by $\leq$
2) experts more like $<$ than $=$