We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

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...

This paper conjectures that economics has changed profoundly since the 1970s and that these changes involve a new understanding of the relationship between theoretical and applied work. Drawing on an analysis of John Bates Clark medal winners, it is suggested that the discipline became more...

Methods for scoring ordered classifications in ordered statistical analysis are reviewed. These contrast with model based approaches through generalised linear models. The practical empirical advantages of scoring functions are developed.

We analyse the key characteristics of simple models of overlapping generations where capital is endogenous, and money plays norole. The main focus is on the codyamics of interest rates, wages, and consumption with capital.

This paper employs a stochastic option-pricing models to investigate when should an emerging market engage in financial liberalisation in a framework inwhich policymakers choose an optimal exchange rate target aimed at minimising price volatility and the risk of a debt crisis.

We study dominant strategy implementation in a variant of the canonical public good provision model, as proposed by Borgers and Postl (2009). In this set up, we fully characterize the set of budget-balanced dominant strategy deterministric mechanisms, which are simple threshold rules. For...

We study strategy-proof decision rules in the variants of the canonical public good model proposed by Borgers and Postl (2009). In this setup, we fully characterize the set of budget-balanced strategy-proof deterministic mechanisms, which are simple threshold rules. For smooth probabilistic...

An important set of questions in economics concern how changes in the distribution of economic parameters (income, wealth, productivity, distortions, information, etc.) impact individual choices and market outcomes. We currently do not have tools to answer such questions. In this paper, I...

This paper introduces E-capacities as a representation of beliefs which incorporates objective information about the probability of events. It can be shown that the Choquet integral of an E-capacity is the Ellsberg representation. The paper further explores properties of this representation of...