The computational content of Walras' existence theorem
From MaRDI portal
Publication:632841
DOI10.1016/J.AMC.2010.12.102zbMath1218.91115OpenAlexW2050730702MaRDI QIDQ632841
Publication date: 28 March 2011
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2010.12.102
Special types of economic equilibria (91B52) Auctions, bargaining, bidding and selling, and other market models (91B26) Special types of economic markets (including Cournot, Bertrand) (91B54)
Cites Work
- Unnamed Item
- Unnamed Item
- Techniques of constructive analysis
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem
This page was built for publication: The computational content of Walras' existence theorem