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.

Council, the Wellcome Trust, the Department of Health, the Scottish Executive and the North West Regional Development Agency. A final protocol has been closely assessed by an independent international review panel set up by the funders. In its report the panel concluded that “UK Biobank has the potential, in ways that are not currently available elsewhere, to support a wide range of research”. ...

David Ponka, MD, is an assistant professor of family medicine at the University of Ottawa. He has worked with Médecins Sans Frontières in Chad, near the Sudan border. ittle Seïd is going home today, but he almost didn't make it. He had seemed healthy at birth; his parents were thrilled, having lost their three other young children. But he had the misfortune to be born here, in the region where ...

Inspired by the AdS/CFT correspondence, we show that any G/H symmetry breaking pattern can be described by a simple two-site moose diagram. This construction trivially reproduces the CCWZ prescription in the context of Hidden Local Symmetry. We interpret this moose in a novel way to show that many little Higgs theories can emerge from ordinary chiral symmetry breaking in scaled-up QCD. We apply...