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

DOI10.1016/J.AMC.2007.12.032zbMATH Open1142.91639OpenAlexW2026590505MaRDI QIDQ945261FDOQ945261

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

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

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)

Cites Work

• Constructive continuity
• Brouwerian Counterexamples
• Title not available (Why is that?)
• Techniques of constructive analysis
• Algorithmic foundations of computable general equilibrium theory

Cited In (3)

• Title not available (Why is that?)
• 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)