The fact that this paper was originally titled “From the Attic” is strong evidence that Arai’s attic is more interesting than most. The paper is a collection of results gathered over the course of a decade or so, spanning a wide range of topics in proof theory and tying up a number of loose ends. There are some new results here, but the general emphasis is on providing strengthenings and new pr...

cannot tell, just by looking at it, what the status of the work is. Comparison with the Latin and with earlier translations reveals that it can lay claim only to being a "version", and a very idiosyncratic one at that. Certainly it makes reasonably smooth reading, but if we are interested in what Harvey said or meant, it will still be necessary to go back to the Latin; and going back to the Lat...

The lung, as we now realize, is not a uniform honeycomb ventilated and perfused by homogeneous gas and blood mixtures, nor is it a honeycomb in which any segment is a representative sample of the whole. Instead it is a universe of immensely varied geometrical, physical, and chemical properties in a state of constant flux continually beset by pathogenic stresses. We are, however, just beginning ...

Perspectives M ore than half of the world's deaths pass by undocumented as to cause [1]. Whilst the appropriate focus of health services may well be the care of the living, consistent and reliable cause-of-death data also constitute a crucial and major resource for health planning and prioritisation, and their lack in many settings is a major concern. Two new papers from Christopher Murray and ...

Entangled states of quantum systems have played an important role in debates on the metaphysics of contemporary science. Teller (1986), French (1989), Maudlin (1998) and Esfeld (2004) all base metaphysical claims on the quantum mechanical description of entangled two-particle states. Glossing over the substantial differences between these accounts, their general thrust is that quantum mechanics...

The study investigates the roles of images and intermodal relationships both language in two English textbooks used Vietnamese lower secondary schools, namely Tieng Anh Solutions to gain insights on ways optimise use as resources teaching learning activities. Kress Van Leeuwen’s (1996, 2006) framework grammar visual design is analyse images, looking at types image representations compositional ...

Jacobson et al. (1) aim to demonstrate that an allrenewable energy system is technically feasible. Not only are the study’s conclusions based on strong assumptions and key methodological oversights, but its framing also omits the essential notion of trade-offs. A far more relevant question is how renewable energy technologies relate to the broader set of options for meeting long-term societal g...

The authors’ approach offers a movement from statistical testing to statistical modeling for disease surveillance. Traditionally, statistical methods for surveillance tend to evolve from a hypothesis-testing framework, wherein one “detects” an outbreak (anomaly, cluster, etc.) as a “statistically significant” departure from a null hypothesis defined as the lack of an outbreak (e.g., constant ag...

The early 2020s have already fostered reckonings with the institutionalized legacies of colonialist practices. Conference presenters dutifully acknowledge land ownership to indigenous peoples. Social media users circulate abolitionist readings and lectures. Organizational personnel investigate diversity equity complaints. In these ways, progressives started grappling entrenched white supremacy,...

Binary recursive partitioning (BRP) is a computationally-intensive statistical method that can be used in situations where linear models are often used. Instead of imposing many assumptions to arrive at a tractable statistical model, BRP simply seeks to accurately predict a response variable based on values of predictor variables. The method outputs a decision tree depicting the predictor varia...