This work introduces a rigorous set-theoretic foundation of bilateral matching mechanisms and studies their properties in a systematic manner. By providing a unified framework to study bilateral matching mechanisms, we formalize how different spatial/informational constraints can be implemented...

We present a new proof of the interiority of the policy function based on the Inada conditions. It is based on supporting properties of concave functions.

In this study we offer a new approach to proving the differentiability of the value function, which complements and extends the literature on dynamic programming. This result is then applied to the analysis of equilibrium in the recent class of monetary economies developed in [13]. For this type...

We study an infinite-horizon economy with two basic frictions that are typical in monetary models. First, agents’ trading paths cross at most once due to pairwise trade and other meeting obstacles. Second, actions must be compatible with individual incentives due to commitment and enforcement...