Set-Theoretic Geology

A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset P in W . The model V satisfies the ground axiom GA if there are no such W properly contained in V . The model W is a bedrock of V if W is a ground of V and satisfies the ground axiom. The mantle of V is the intersection of all grounds of V . The generic mantle of V is the intersection of all grounds of all set-forcing extensions of V . The generic HOD, written gHOD, is the intersection of all HODs of all set-forcing extensions. The generic HOD is always a model of ZFC, and the generic mantle is always a model of ZF. Every model of ZFC is the mantle and generic mantle of another model of ZFC. We prove this theorem while also controlling the HOD of the final model, as well as the generic HOD. Iteratively taking the mantle penetrates down through the inner mantles to what we call the outer core, what remains when all outer layers of forcing have been stripped away. Many fundamental questions remain open.Comment: 44 pages; commentary concerning this article can be made at http://jdh.hamkins.org/set-theoreticgeology

Three-dimensional hydrodynamical CO5BOLD model atmospheres of red giant stars VI. First chromosphere model of a late-type giant

Although observational data unequivocally point out to the presence of chromospheres in red giant stars, no attempts have been made so far to model them using 3D hydrodynamical model atmospheres. We therefore compute an exploratory 3D hydrodynamical model atmosphere for a cool red giant in order to study the dynamical and thermodynamic properties of its chromosphere, as well as the influence of the chromosphere on its observable properties. 3D radiation hydrodynamics simulations are carried out with the CO5BOLD model atmosphere code for a star with the atmospheric parameters (Teff=4010 K, log g=1.5, [M/H]=0.0), which are similar to those of the K-type giant star Aldebaran (alpha Tau). ... we compute the emergent continuum intensity maps at different wavelengths, spectral line profiles of Ca II K, the Ca II infrared triplet line at 854.2nm, and H alpha, as well as the spectral energy distribution (SED) of the emergent radiative flux. The initial model quickly develops a dynamical chromosphere characterised by propagating and interacting shock waves. The peak temperatures in the chromospheric shock fronts reach values on the order of up to 5000 K although the shock fronts remain quite narrow. Like for the Sun, the gas temperature distribution in the upper layers is composed of a cool component due to adiabatic cooling in the expanding post-shock regions and a hot component due to shock waves. For this red giant model, the hot component is a rather flat high-temperature tail, which nevertheless affects the resulting average temperatures significantly. The simulations show that the atmospheres of red giant stars are dynamic and intermittent. Consequently, many observable properties cannot be reproduced with one-dimensional static models but demand for advanced 3D HD modelling. Furthermore, including a chromosphere in the models might produce significant contributions to the emergent UV flux.Comment: 14 pages, 8 figures, A&A (2017, accepted

The Crystal Structure of H-2Dd MHC Class I Complexed with the HIV-1-Derived Peptide P18-I10 at 2.4 Å Resolution Implications for T Cell and NK Cell Recognition

AbstractThe structure of H-2Dd complexed with the HIV-derived peptide P18-I10 (RGPGRAFVTI) has been determined by X-ray crystallography at 2.4 Å resolution. This MHC class I molecule has an unusual binding motif with four anchor residues in the peptide (G2, P3, R/K/H5, and I/L/F9 or 10). The cleft architecture of H-2Dd includes a deep narrow passage accomodating the N-terminal part of the peptide, explaining the obligatory G2P3 anchor motif. Toward the C-terminal half of the peptide, p5R to p8V form a type I′ reverse turn; residues p6A to p9T, and in particular p7F, are readily exposed. The structure is discussed in relation to functional data available for T cell and natural killer cell recognition of the H-2Dd molecule

Inner-Model Reflection Principles

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement φ(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W⊊V. A stronger principle, the ground-model reflection principle, asserts that any such φ(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed Π2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles.publishe

Diet and lifestyle in relation to small intestinal cancer risk: findings from the European Prospective Investigation into Cancer and Nutrition (EPIC)

PurposeThe incidence of small intestinal cancer (SIC) is increasing, however, its aetiology remains unclear due to a lack of data from large-scale prospective cohorts. We examined modifiable risk factors in relation to SIC overall and by histological subtype.MethodsWe analysed 450,107 participants enrolled in the European Prospective Investigation into Cancer and Nutrition cohort. Cox proportional hazards models were used to estimate univariable and multivariable hazard ratios (HRs) and 95% confidence intervals (CIs).ResultsDuring an average of 14.1 years of follow-up, 160 incident SICs (62 carcinoids, 51 adenocarcinomas) were identified. Whilst univariable models revealed a positive association for current versus never smokers and SIC (HR, 95% CI: 1.77, 1.21-2.60), this association attenuated in multivariable models. In energy-adjusted models, there was an inverse association across vegetable intake tertiles for SIC overall (HRT3vsT1, 95% CI: 0.48, 0.32-0.71, p-trend: < 0.001) and for carcinoids (HRT3vsT1, 95% CI: 0.44, 0.24-0.82, p-trend: 0.01); however, these attenuated in multivariable models. Total fat was also inversely associated with total SIC and both subtypes but only in the second tertile (SIC univariable HRT2vsT1, 95% CI: 0.57, 0.38-0.84; SIC multivariable HRT2vsT1, 95% CI: 0.55, 0.37-0.81). Physical activity, intake of alcohol, red or processed meat, dairy products, or fibre were not associated with SIC.ConclusionThese exploratory analyses found limited evidence for a role of modifiable risk factors in SIC aetiology. However, sample size was limited, particularly for histologic subtypes; therefore, larger studies are needed to delineate these associations and robustly identify risk factors for SIC

Diet and lifestyle in relation to small intestinal cancer risk: findings from the European Prospective Investigation into Cancer and Nutrition (EPIC)

PurposeThe incidence of small intestinal cancer (SIC) is increasing, however, its aetiology remains unclear due to a lack of data from large-scale prospective cohorts. We examined modifiable risk factors in relation to SIC overall and by histological subtype.MethodsWe analysed 450,107 participants enrolled in the European Prospective Investigation into Cancer and Nutrition cohort. Cox proportional hazards models were used to estimate univariable and multivariable hazard ratios (HRs) and 95% confidence intervals (CIs).ResultsDuring an average of 14.1 years of follow-up, 160 incident SICs (62 carcinoids, 51 adenocarcinomas) were identified. Whilst univariable models revealed a positive association for current versus never smokers and SIC (HR, 95% CI: 1.77, 1.21-2.60), this association attenuated in multivariable models. In energy-adjusted models, there was an inverse association across vegetable intake tertiles for SIC overall (HRT3vsT1, 95% CI: 0.48, 0.32-0.71, p-trend: < 0.001) and for carcinoids (HRT3vsT1, 95% CI: 0.44, 0.24-0.82, p-trend: 0.01); however, these attenuated in multivariable models. Total fat was also inversely associated with total SIC and both subtypes but only in the second tertile (SIC univariable HRT2vsT1, 95% CI: 0.57, 0.38-0.84; SIC multivariable HRT2vsT1, 95% CI: 0.55, 0.37-0.81). Physical activity, intake of alcohol, red or processed meat, dairy products, or fibre were not associated with SIC.ConclusionThese exploratory analyses found limited evidence for a role of modifiable risk factors in SIC aetiology. However, sample size was limited, particularly for histologic subtypes; therefore, larger studies are needed to delineate these associations and robustly identify risk factors for SIC

Integration of iconic gestures and speech in left superior temporal areas boosts speech comprehension under adverse listening conditions

Iconic gestures are spontaneous hand movements that illustrate certain contents of speech and, as such, are an important part of face-to-face communication. This experiment targets the brain bases of how iconic gestures and speech are integrated during comprehension. Areas of integration were identified on the basis of two classic properties of multimodal integration, bimodal enhancement and inverse effectiveness (i.e., greater enhancement for unimodally least effective stimuli). Participants underwent fMRI while being presented with videos of gesture-supported sentences as well as their unimodal components, which allowed us to identify areas showing bimodal enhancement. Additionally, we manipulated the signal-to-noise ratio of speech (either moderate or good) to probe for integration areas exhibiting the inverse effectiveness property. Bimodal enhancement was found at the posterior end of the superior temporal sulcus and adjacent superior temporal gyrus (pSTS/STG) in both hemispheres, indicating that the integration of iconic gestures and speech takes place in these areas. Furthermore, we found that the left pSTS/STG specifically showed a pattern of inverse effectiveness, i.e., the neural enhancement for bimodal stimulation was greater under adverse listening conditions. This indicates that activity in this area is boosted when an iconic gesture accompanies an utterance that is otherwise difficult to comprehend. The neural response paralleled the behavioral data observed. The present data extends results from previous gesture-speech integration studies in showing that pSTS/STG plays a key role in the facilitation of speech comprehension through simultaneous gestural input

Reproductive and hormonal factors and risk of renal cell carcinoma among women in the European Prospective Investigation into Cancer and Nutrition

PurposeThe incidence of small intestinal cancer (SIC) is increasing, however, its aetiology remains unclear due to a lack of data from large-scale prospective cohorts. We examined modifiable risk factors in relation to SIC overall and by histological subtype.MethodsWe analysed 450,107 participants enrolled in the European Prospective Investigation into Cancer and Nutrition cohort. Cox proportional hazards models were used to estimate univariable and multivariable hazard ratios (HRs) and 95% confidence intervals (CIs).ResultsDuring an average of 14.1 years of follow-up, 160 incident SICs (62 carcinoids, 51 adenocarcinomas) were identified. Whilst univariable models revealed a positive association for current versus never smokers and SIC (HR, 95% CI: 1.77, 1.21-2.60), this association attenuated in multivariable models. In energy-adjusted models, there was an inverse association across vegetable intake tertiles for SIC overall (HRT3vsT1, 95% CI: 0.48, 0.32-0.71, p-trend: < 0.001) and for carcinoids (HRT3vsT1, 95% CI: 0.44, 0.24-0.82, p-trend: 0.01); however, these attenuated in multivariable models. Total fat was also inversely associated with total SIC and both subtypes but only in the second tertile (SIC univariable HRT2vsT1, 95% CI: 0.57, 0.38-0.84; SIC multivariable HRT2vsT1, 95% CI: 0.55, 0.37-0.81). Physical activity, intake of alcohol, red or processed meat, dairy products, or fibre were not associated with SIC.ConclusionThese exploratory analyses found limited evidence for a role of modifiable risk factors in SIC aetiology. However, sample size was limited, particularly for histologic subtypes; therefore, larger studies are needed to delineate these associations and robustly identify risk factors for SIC