We develop a general model of matching market under uncertainty. In the model, agents' payoff-relevant characteristics are realized after matching takes place, and matches are formed based on ex-ante attributes that are noisy signals of the true characteristics. We derive conditions under which...

We quantitatively investigate the capacity to collect revenue when the government is constrained to use non-linear (progressive) income taxes. We develop a life-cycle growth model with individual heterogeneity and endogenous labor supply, and explore the degree of tax progressivity that can be...