Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Updated Next-to-Next-to-Leading-Order QCD Predictions for the Weak Radiative B -Meson Decays

Weak radiative decays of the B mesons belong to the most important flavor changing processes that provide constraints on physics at the TeV scale. In the derivation of such constraints, accurate standard model predictions for the inclusive branching ratios play a crucial role. In the current Letter we present an update of these predictions, incorporating all our results for the O(α2s) and lower-order perturbative corrections that have been calculated after 2006. New estimates of nonperturbative effects are taken into account, too. For the CP- and isospin-averaged branching ratios, we find Bsγ=(3.36±0.23)×10−4 and Bdγ=(1.73+0.12−0.22)×10−5, for Eγ>1.6  GeV. Both results remain in agreement with the current experimental averages. Normalizing their sum to the inclusive semileptonic branching ratio, we obtain Rγ≡(Bsγ+Bdγ)/Bcℓν=(3.31±0.22)×10−3. A new bound from Bsγ on the charged Higgs boson mass in the two-Higgs-doublet-model II reads MH±>480  GeV at 95% C.L.

Plasma environment of a weak comet – Predictions for Comet 67P/Churyumov–Gerasimenko from multifluid-MHD and Hybrid models

The interaction of a comet with the solar wind undergoes various stages as the comet’s activity varies along its orbit. For a comet like 67P/Churyumov–Gerasimenko, the target comet of ESA’s Rosetta mission, the various features include the formation of a Mach cone, the bow shock, and close to perihelion even a diamagnetic cavity. There are different approaches to simulate this complex interplay between the solar wind and the comet’s extended neutral gas coma which include magnetohydrodynamics (MHD) and hybrid-type models. The first treats the plasma as fluids (one fluid in basic single fluid MHD) and the latter treats the ions as individual particles under the influence of the local electric and magnetic fields. The electrons are treated as a charge-neutralizing fluid in both cases. Given the different approaches both models yield different results, in particular for a low production rate comet. In this paper we will show that these differences can be reduced when using a multifluid instead of a single-fluid MHD model and increase the resolution of the Hybrid model. We will show that some major features obtained with a hybrid type approach like the gyration of the cometary heavy ions and the formation of the Mach cone can be partially reproduced with the multifluid-type model.

Phenotypic plasticity is a negative, though weak, predictor of the commonness of 105 grassland species

Aim The usual hypothesis about the relationship between niche breadth and range size posits that species with the capacity to use a wider range of resources or to tolerate a greater range of environmental conditions should be more widespread. In plants, broader niches are often hypothesized to be due to pronounced phenotypic plasticity, and more plastic species are therefore predicted to be more common. We examined the relationship between the magnitude of phenotypic plasticity in five functional traits, mainly related to leaves, and several measures of abundance in 105 Central European grassland species. We further tested whether mean values of traits, rather than their plasticity, better explain the commonness of species, possibly because they are pre-adapted to exploiting the most common resources. Location Central Europe. Methods In a multispecies experiment with 105 species we measured leaf thickness, leaf greenness, specific leaf area, leaf dry matter content and plant height, and the plasticity of these traits in response to fertilization, waterlogging and shading. For the same species we also obtained five measures of commonness, ranging from plot-level abundance to range size in Europe. We then examined whether these measures of commonness were associated with the magnitude of phenotypic plasticity, expressed as composite plasticity of all traits across the experimental treatments. We further estimated the relative importance of trait plasticity and trait means for abundance and geographical range size. Results More abundant species were less plastic. This negative relationship was fairly consistent across several spatial scales of commonness, but it was weak. Indeed, compared with trait means, plasticity was relatively unimportant for explaining differences in species commonness. Main conclusions Our results do not indicate that larger phenotypic plasticity of leaf morphological traits enhances species abundance. Furthermore, possession of a particular trait value, rather than of trait plasticity, is a more important determinant of species commonness.

Corruption and Growth Under Weak Identification

The goal of this paper is to revisit the influential work of Mauro [1995] focusing on the strength of his results under weak identification. He finds a negative impact of corruption on investment and economic growth that appears to be robust to endogeneity when using two-stage least squares (2SLS). Since the inception of Mauro [1995], much literature has focused on 2SLS methods revealing the dangers of estimation and thus inference under weak identification. We reproduce the original results of Mauro [1995] with a high level of confidence and show that the instrument used in the original work is in fact 'weak' as defined by Staiger and Stock [1997]. Thus we update the analysis using a test statistic robust to weak instruments. Our results suggest that under Mauro's original model there is a high probability that the parameters of interest are locally almost unidentified in multivariate specifications. To address this problem, we also investigate other instruments commonly used in the corruption literature and obtain similar results.

A Simple Statistical Test of Violation of the Weak Axiom of Cost Minimization

A problem with a practical application of Varian.s Weak Axiom of Cost Minimization is that an observed violation may be due to random variation in the output quantities produced by firms rather than due to inefficiency on the part of the firm. In this paper, unlike in Varian (1985), the output rather than the input quantities are treated as random and an alternative statistical test of the violation of WACM is proposed. We assume that there is no technical inefficiency and provide a test of the hypothesis that an observed violation of WACM is merely due to random variations in the output levels of the firms being compared.. We suggest an intuitive approach for specifying a value of the variance of the noise term that is needed for the test. The paper includes an illustrative example utilizing a data set relating to a number of U.S. airlines.

Exploring the perception and production of weak and strong forms in English

Como profesoras de Fonética y Fonología Inglesa hemos percibido que nuestros alumnos –hispano-hablantes- enfrentan una serie de dificultades en relación con la percepción y producción de las formas débiles de las palabras estructurales. En consecuencia, evaluamos la percepción y producción de las formas débiles y fuertes en nuestros alumnos, a través de una prueba de escucha y otra de habla, una vez que los estudiantes de primer año de la Facultad de Filosofía, Humanidades y Artes, Universidad Nacional de San Juan (UNSJ), habían finalizado el período de entrenamiento en estas formas. Para la recolección de datos utilizamos dos tipos de tests: uno de percepción y otro de producción. En general, los resultados corroboraron nuestra percepción: los alumnos continuaron teniendo mayor dificultad en la percepción y producción de las formas débiles de las palabras estructurales que en la de las formas fuertes, aún después de haber estado expuestos al entrenamiento explícito.

El talle justo del alumno : Biotipología, eugenesia y pedagogía en Argentina (1930-1943)

Son conocidas las tecnologías sociales y médicas propuestas por la literatura eugenésica: control diferencial de la concepción; esterilización de individuos o grupos como los débiles mentales o los criminales; aborto eugenésico y control de la inmigración. Entre estas tecnologías, se destacó especialmente en la década del 30 del siglo pasado y gracias a la impronta de la Asociación Argentina de Biotipología, Eugenesia y Medicina Social, el fichado biotipológico de la población. En el presente trabajo, se estudiará la estrecha vinculación que se daba entre la biotipología y la pedagogía al interior de la asociación para comprender cómo se buscó implementar la propuesta de tipificar a toda la población estudiantil del país. Daremos cuenta de las resistencias y desavenencias que pudieron llevar al fracaso de la propuesta

El talle justo del alumno : Biotipología, eugenesia y pedagogía en Argentina (1930-1943)

Son conocidas las tecnologías sociales y médicas propuestas por la literatura eugenésica: control diferencial de la concepción; esterilización de individuos o grupos como los débiles mentales o los criminales; aborto eugenésico y control de la inmigración. Entre estas tecnologías, se destacó especialmente en la década del 30 del siglo pasado y gracias a la impronta de la Asociación Argentina de Biotipología, Eugenesia y Medicina Social, el fichado biotipológico de la población. En el presente trabajo, se estudiará la estrecha vinculación que se daba entre la biotipología y la pedagogía al interior de la asociación para comprender cómo se buscó implementar la propuesta de tipificar a toda la población estudiantil del país. Daremos cuenta de las resistencias y desavenencias que pudieron llevar al fracaso de la propuesta

El talle justo del alumno : Biotipología, eugenesia y pedagogía en Argentina (1930-1943)

Son conocidas las tecnologías sociales y médicas propuestas por la literatura eugenésica: control diferencial de la concepción; esterilización de individuos o grupos como los débiles mentales o los criminales; aborto eugenésico y control de la inmigración. Entre estas tecnologías, se destacó especialmente en la década del 30 del siglo pasado y gracias a la impronta de la Asociación Argentina de Biotipología, Eugenesia y Medicina Social, el fichado biotipológico de la población. En el presente trabajo, se estudiará la estrecha vinculación que se daba entre la biotipología y la pedagogía al interior de la asociación para comprender cómo se buscó implementar la propuesta de tipificar a toda la población estudiantil del país. Daremos cuenta de las resistencias y desavenencias que pudieron llevar al fracaso de la propuesta

Testing the Weak Equivalence Principle with an antimatter beam at CERN

The goal of the AEgIS experiment is to measure the gravitational acceleration of antihydrogen – the simplest atom consisting entirely of antimatter – with the ultimate precision of 1%. We plan to verify the Weak Equivalence Principle (WEP), one of the fundamental laws of nature, with an antimatter beam. The experiment consists of a positron accumulator, an antiproton trap and a Stark accelerator in a solenoidal magnetic field to form and accelerate a pulsed beam of antihydrogen atoms towards a free-fall detector. The antihydrogen beam passes through a moir ́e deflectometer to measure the vertical displacement due to the gravitational force. A position and time sensitive hybrid detector registers the annihilation points of the antihydrogen atoms and their time-of-flight. The detection principle has been successfully tested with antiprotons and a miniature moir ́e deflectometer coupled to a nuclear emulsion detector.

Is the Indonesian President strong or weak?

This paper analyzes the newly institutionalized political system in democratizing Indonesia, with particular reference to the presidential system. Consensus has not yet been reached among scholars on whether the Indonesian president is strong or weak. This paper tries to answer this question by analyzing the legislative and partisan powers of the Indonesian president. It must be acknowledged, however, that these two functions do not on their own explain the strengths and weaknesses of the president. This paper suggests that in order to fully understand the presidential system in Indonesia, we need to take into account not just the president's legislative and partisan powers, but also the legislative process and the characteristics of coalition government.