%0 Journal Article %A Yasuhito Tanaka %D 2012 %J International Journal of Economics and Management Engineering %B World Academy of Science, Engineering and Technology %I Open Science Index 68, 2012 %T Constructive Proof of the Existence of an Equilibrium in a Competitive Economy with Sequentially Locally Non-Constant Excess Demand Functions %U https://publications.waset.org/pdf/6070 %V 68 %X In this paper we will constructively prove the existence of an equilibrium in a competitive economy with sequentially locally non-constant excess demand functions. And we will show that the existence of such an equilibrium in a competitive economy implies Sperner-s lemma. We follow the Bishop style constructive mathematics. %P 928 - 932