Introducing a nationwide registry: the Swiss study on aneurysmal subarachnoid haemorrhage (Swiss SOS)

Aneurysmal subarachnoid haemorrhage (aSAH) is a haemorrhagic form of stroke and occurs in a younger population compared with ischaemic stroke or intracerebral haemorrhage. It accounts for a large proportion of productive life-years lost to stroke. Its surgical and medical treatment represents a multidisciplinary effort. Due to the complexity of the disease, the management remains difficult to standardise and quality of care is accordingly difficult to assess.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).