>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 $=$ Vladimir Kanovei Professor Moscow State University of railway transportation (this winter on leave at Bonn and Wuppertal)