region πa2 (26,50) πa1 (13,98) Figure 7 – Phase Transition curves in (L,m) and (N,L) plane with the useful area for abstraction Ideally, if a ground problem lies in the mushy region and has solution, then a useful abstraction operator shall map it into an abstract problem lying in the YES region. On the contrary, if a ground problem lies in the mushy region and has no solutions, then a useful a...

The testable implication of the complete risk-sharing hypothesis depends on what is assumed on households' relative risk aversion (RRA) coefficient. We therefore use a hyperbolic absolute risk aversion (HARA) utility function, which includes increasing, constant, and decreasing RRA as special cases, to test this hypothesis. Using household level total non-durable consumption data from Indian vi...

This theory contains a formalization of decreasing diagrams showing that any locally decreasing abstract rewrite system is confluent. We consider the valley (van Oostrom, TCS 1994) and the conversion version (van Oostrom, RTA 2008) and closely follow the original proofs. As an application we prove Newman’s lemma. A description of this formalization is available in [3].