We use a New Keynesian DSGE model with search frictions on the housing market to evaluate how financing a labor tax … reduction by higher property taxation affects the real economy and welfare. Search on the housing market enables us to …