Showing 1 - 5 of 5
Persistent link: https://www.econbiz.de/10012200347
Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...
Persistent link: https://www.econbiz.de/10014150121
Persistent link: https://www.econbiz.de/10014293988
Competitive agents extract in continuous time from a commons. Capital market access allows them to both save and borrow against their extraction stream. When the commons asset grows more quickly than the privately stored one, multiple equilibria are found for intermediate commons endowments. One...
Persistent link: https://www.econbiz.de/10005342247
Persistent link: https://www.econbiz.de/10007609510