Constructive Proof of the Existence of an Equilibrium in a Competitive Economy with Sequentially Locally Non-Constant Excess Demand Functions
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.
@article{"International Journal of Engineering, Mathematical and Physical Sciences:55161", author = "Yasuhito Tanaka", title = "Constructive Proof of the Existence of an Equilibrium in a Competitive Economy with Sequentially Locally Non-Constant Excess Demand Functions", abstract = "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.", keywords = "Sequentially locally non-constant excess demand functions,
Equilibrium in a competitive economy, Constructive mathematics", volume = "6", number = "8", pages = "964-5", }