Locally nuanced community-based shallow groundwater management interventions have proven important in saline and sodic monsoonal regions. A mixed methods approach characterizes achievement of regeneration the formerly degraded socio-ecological system Laporiya village semi-arid Salt Lake region Rajasthan state (India), with a focus on locally adapted chauka systems. Local people are key particip...

In the “little theories” version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theories may be related by inclusion or by theory interpretation. We argue that the little theories approach is a desirable way to formalize mathematics, and we describe how imps, an Interactive Mathematical Proof System, supports it.