A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Money for structural reforms in the eurozone: making sense of contractual arrangements. Egmont Paper 57, May 2013

Executive Summary. Both the Commission’s proposal for a ‘Competitiveness and Convergence Instrument’ and the ‘contractual arrangement’ presented by President Van Rompuy share a common concept: associating EU money with national structural reforms under a binding arrangement. The targeted ‘structural reforms’ are the labour market reforms and product and services market reforms in eurozone ‘peripheral’ countries facing the most severe external imbalances. Their implementation would speed up and facilitate the ‘internal devaluation’ process of these countries. In the worst case scenario, failure to adopt the necessary reforms and to adjust wages and prices downwards may lead the most vulnerable countries to leave the eurozone under social and political pressure. Contracts seek to reduce this risk by increasing compliance with the country-specific recommendations for structural reforms issued by the EU institutions within the European Semester, and in particular with the Macroeconomic Imbalance Procedure (MIP). As for the financial support, it follows two different, albeit overlapping rationales. First, the perspective of obtaining EU funding would incentivize the governments of vulnerable countries to adopt reforms that would bear a high political and social cost in the short term. That is, without some form of incentive, it is unlikely that the necessary reforms would be undertaken and this could have significant negative consequences for the EMU as a whole. The second rationale amounts to outright solidarity: EU support is needed to cushion the inevitable socio-economic costs implied not only by the structural reform, but also by the internal devaluation taking place. To make sense of contractual arrangements, some points should be considered in future discussions: 1. Contracts on a voluntary basis only: Contracts cannot be mandatory unlike initially suggested in the Van Rompuy report. This stems not only from the inherent definition of a ‘contract’ – where mutual consent is key – but also from the non-binding nature of the preventive arm of the MIP. Making the country-specific recommendations issued by the EU institutions systematically binding would imply transfers of sovereignty from the national to the EU level that go well beyond the present discussion. Instead, contracts would introduce the possibility of making the preventive arm binding for some countries where corrections are most needed and urgent for the EMU as a whole.

Diplomatic parade or last struggle against fatalism? - Making sense of the Paris ministerial meeting on the Middle East Peace Process. EPC Commentary, 16 June 2016

On 3 June, the French government convened an international meeting in Paris, gathering 28 high-level delegations from all around the world, from Norway to Japan, in order to discuss the state of play and future prospects of the enduring Israel-Palestine conflict. The first ministerial meeting of the “Initiative for the Peace in the Middle East”, as it was labelled by the Quai d’Orsay, provided an important political signal, and a potential diplomatic format, to help revive the long-stalled peace process. Yet, its concrete deliverables remain beset by considerable uncertainty.

A new system of practical astronomy : made plain and easy to those who have not studied mathematics : containing the elementary principles of the science, all the rules and tables necessary for making all the calculations for an almanac ... /

Includes index.

Wading through the quagmire: Making sense of dietary supplement utilization

Since the 1980s, numerous studies conducted in the United States have attempted to estimate the prevalence of supplement use among the population (e.g., the National Health and Nutrition Survey and the National Health Interview Surveys). Despite these efforts, the true extent of supplement use is unclear. The literature pertaining to the prevalence of supplement use refers to a confusing array of ambiguous terms. Forming accurate conclusions about supplement use is confounded by differences in terminology and methodology between studies. Direct comparisons between studies are therefore inherently problematic. The emphasis in future investigations should be on standardizing the study design; recording data on daily, weekly, or even monthly use in order to establish the safety and efficacy of supplement use; and adopting a consistent, uniform definition of the term supplement.