[FOM] Sperner's lemma and Bishop style constructive mathematics

ochibocho2 ochibocho2 at yahoo.co.jp
Sat Jan 9 03:03:47 EST 2010

I am Yasuhito Tanaka at Doshisha University in Japan.

Simpson's book "Subsystems of Second Order Arithmetic" states that 
Sperner's Lemma is provable in RCA_0.

Then, is Sperner's lemma provable in Bishop style constructive 
mathematics or mathematics with intuitionistic logic?
Get the new Internet Explorer 8 optimized for Yahoo! JAPAN

More information about the FOM mailing list