Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)

DOI10.1016/J.AMC.2007.12.032MaRDI QIDQ945261zbMATH OpenOpenAlexFDO

Authors Yasuhito Tanaka

Publication date 12 September 2008

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2007.12.032

zbMATH Keywords

Walrasian equilibriumLLPO (Lesser limited principle of omniscience)Uzawa equivalence theorem

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Special types of economic equilibria (91B52)

Recommendations

• scientific article; zbMATH DE number 5497805
• The computational content of Walras' existence theorem
• scientific article; zbMATH DE number 888973
• Excess demand functions, equilibrium prices, and existence of equilibrium
• Non-computability of competitive equilibrium

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• Algorithmic foundations of computable general equilibrium theory
• Brouwerian Counterexamples
• Constructive continuity
• Techniques of constructive analysis

Cited in

(3)

• scientific article; zbMATH DE number 5497805 (Why is no real title available?)
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• The computational content of Walras' existence theorem

This page was built for publication: Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q945261)