A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Computer-based summative assessment of clinical reasoning in clerkships: A mixed-method comparison of key feature problems with case-based multiple choice questions

Background: It is yet unclear if there are differences between using electronic key feature problems (KFPs) or electronic case-based multiple choice questions (cbMCQ) for the assessment of clinical decision making. Summary of Work: Fifth year medical students were exposed to clerkships which ended with a summative exam. Assessment of knowledge per exam was done by 6-9 KFPs, 9-20 cbMCQ and 9-28 MC questions. Each KFP consisted of a case vignette and three key features (KF) using “long menu” as question format. We sought students’ perceptions of the KFPs and cbMCQs in focus groups (n of students=39). Furthermore statistical data of 11 exams (n of students=377) concerning the KFPs and (cb)MCQs were compared. Summary of Results: The analysis of the focus groups resulted in four themes reflecting students’ perceptions of KFPs and their comparison with (cb)MCQ: KFPs were perceived as (i) more realistic, (ii) more difficult, (iii) more motivating for the intense study of clinical reasoning than (cb)MCQ and (iv) showed an overall good acceptance when some preconditions are taken into account. The statistical analysis revealed that there was no difference in difficulty; however KFP showed a higher discrimination and reliability (G-coefficient) even when corrected for testing times. Correlation of the different exam parts was intermediate. Conclusions: Students perceived the KFPs as more motivating for the study of clinical reasoning. Statistically KFPs showed a higher discrimination and higher reliability than cbMCQs. Take-home messages: Including KFPs with long menu questions into summative clerkship exams seems to offer positive educational effects.

An Exploration Based Cognitive Bias Test for Mice: Effects of Handling Method and Stereotypic Behaviour

Behavioural tests to assess affective states are widely used in human research and have recently been extended to animals. These tests assume that affective state influences cognitive processing, and that animals in a negative affective state interpret ambiguous information as expecting a negative outcome (displaying a negative cognitive bias). Most of these tests however, require long discrimination training. The aim of the study was to validate an exploration based cognitive bias test, using two different handling methods, as previous studies have shown that standard tail handling of mice increases physiological and behavioural measures of anxiety compared to cupped handling. Therefore, we hypothesised that tail handled mice would display a negative cognitive bias. We handled 28 female CD-1 mice for 16 weeks using either tail handling or cupped handling. The mice were then trained in an eight arm radial maze, where two adjacent arms predicted a positive outcome (darkness and food), while the two opposite arms predicted a negative outcome (no food, white noise and light). After six days of training, the mice were also given access to the four previously unavailable intermediate ambiguous arms of the radial maze and tested for cognitive bias. We were unable to validate this test, as mice from both handling groups displayed a similar pattern of exploration. Furthermore, we examined whether maze exploration is affected by the expression of stereotypic behaviour in the home cage. Mice with higher levels of stereotypic behaviour spent more time in positive arms and avoided ambiguous arms, displaying a negative cognitive bias. While this test needs further validation, our results indicate that it may allow the assessment of affective state in mice with minimal training— a major confound in current cognitive bias paradigms.

Chemistry of igneous rocks from, the Celebes Sea basement

Major and trace elements, mineral chemistry, and Sr-Nd isotope ratios are reported for representative igneous rocks of Ocean Drilling Program Sites 767 and 770. The basaltic basement underlying middle Eocene radiolarianbearing red clays was reached at 786.7 mbsf and about 421 mbsf at Sites 767 and 770, respectively. At Site 770 the basement was drilled for about 106 m. Eight basaltic units were identified on the basis of mineralogical, petrographical, and geochemical data. They mainly consist of pillow lavas and pillow breccias (Units A, B, D, and H), intercalated with massive amygdaloidal lavas (Units Cl and C2) or relatively thin massive flows (Unit E). Two dolerite sills were also recognized (Units F and G). All the rocks studied show the effect of low-temperature seafloor alteration, causing almost total replacement of olivine and glass. Calcite, clays, and Fe-hydroxides are the most abundant secondary phases. Chemical mobilization due to the alteration processes has been evaluated by comparing elements that are widely considered mobile during halmyrolysis (such as low-field strength elements) with those insensitive to seafloor alteration (such as Nb). In general, MgO is removed and P2O5 occasionally enriched during the alteration of pillow lavas. Ti, Cs, Li, Rb, and K, which are the most sensitive indicators of rock/seawater interaction, are generally enriched. The most crystalline samples appear the least affected by chemical changes. Plagioclase and olivine are continuously present as phenocrysts, and clinopyroxene is confined in the groundmass. Textural and mineralogical features as well as crystallization sequences of Site 770 rocks are, in all, analogous to typical mid-ocean-ridge basalts (MORBs). Relatively high content of compatible trace elements, such as Ni and Cr, indicate that these rocks represent nearly primitive or weakly fractionated MORBs. All the studied rocks are geochemically within the spectrum of normal MORB compositional variation. Their Sr/Nd isotopic ratios plot on the mantle array (87Sr/87Sr 0.70324-0.70348 with 143Nd/144Nd 0.51298-0.51291) outside the field of Atlantic and Pacific MORBs. However, Sr and Nd isotopes are typical of both Indian Ocean MORBs and of some back-arc basalts, such as those of Lau Basin. The mantle source of Celebes basement basalts does not show a detectable influence of a subduction-related component. The geochemical and isotopic data so far obtained on the Celebes basement rocks do not allow a clear discrimination between mid-ocean ridge and back-arc settings.

(Table S2) Cell concentrations of individual and combined Alexandrium spp. and phylogenetic groups as obtained by qPCR assay and Utermöhl counts, as well as particulate PSP toxin concentrations from discrete water depths

Molecular methods provide promising tools for routine detection and quantification of toxic microalgae in plankton samples. To this end, novel TaqMan minor groove binding probes and primers targeting the small (SSU) or large (LSU) ribosomal subunit (rRNA) were developed for two species of the marine dinoflagellate genus Alexandrium (A. minutum, A. tamutum) and for three groups/ribotypes of the A. tamarense species complex: Group I/North American (NA), Group II/Mediterranean (ME) and Group III/Western European (WE). Primers and probes for real-time quantitative PCR (qPCR) were species-specific and highly efficient when tested in qPCR assays for cross-validation with pure DNA from cultured Alexandrium strains. Suitability of the qPCR assays as molecular tools for the detection and estimation of relative cell abundances of Alexandrium species and groups was evaluated from samples of natural plankton assemblages along the Scottish east coast. The results were compared with inverted microscope cell counts (Utermöhl technique) of Alexandrium spp. and associated paralytic shellfish poisoning (PSP) toxin concentrations. The qPCR assays indicated that A. tamarense (Group I) and A. tamutum were the most abundant Alexandrium taxa and both were highly positively correlated with PSP toxin content of plankton samples. Cells of A. tamarense (Group III) were present at nearly all stations but in low abundance. Alexandrium minutum and A. tamarense (Group II) cells were not detected in any of the samples, thereby arguing for their absence from the specific North Sea region, at least at the time of the survey. The sympatric occurrence of A. tamarense Group I and Group III gives further support to the hypothesis that the groups/ribotypes of the A. tamarense species complex are cryptic species rather than variants belonging to the same species.

Composition of Lower Cretaceous sandstones of the Galicia margin

The composition of 31 samples of Lower Cretaceous (Valanginian to Aptian) sandstone from ODP Sites 638 through 641 was analyzed using the Gazzi-Dickinson point-counting method. The results show that the source of the Valanginian to Hauterivian sand was a continental block, dominated by granitic and/or high-grade-metamorphic rocks. Although these petrologic results do not allow discrimination between various potential continental block provinces, they suggest, in conjunction with seismic profiles and regional considerations, that the source was the Galicia margin or western Iberia. In contrast, the Barremian and Aptian sand is dominated by carbonate grains that were derived from a carbonate platform, probably on Galicia Bank.

Geochemistry of terrigenous material in deep-sea sediments of the equatorial Pacific

Biological productivity in the modern equatorial Pacific Ocean, a region with high nutrients and low chlorophyll, is currently limited by the micronutrient Fe. In order to test whether Fe was limiting in the past and to identify potential pathways of Fe delivery that could drive Fe fertilization (i.e., dust delivery from eolian inputs vs. Fe supplied by the Equatorial Undercurrent), we chemically isolated the terrigenous material from sediment along a cross-equatorial transect in the central equatorial Pacific at 140°W and at Ocean Drilling Program Site 850 in the eastern equatorial Pacific. We quantified the contribution from each potential Fe-bearing terrigenous source using a suite of chemical- and isotopic discrimination strategies as well as multivariate statistical techniques. We find that the distribution of the terrigenous sources (i.e., Asian loess, South American ash, Papua New Guinea, and ocean island basalt) varies through time, latitude, and climate. Regardless of which method is used to determine accumulation rate, there also is no relationship between flux of any particular Fe source and climate. Moreover, there is no connection between a particular Fe source or pathway (eolian vs. Undercurrent) to total productivity during the Last Glacial Maximum, Pleistocene glacial episodes, and the Miocene "Biogenic Bloom". This would suggest an alternative process, such as an interoceanic reorganization of nutrient inventories, may be responsible for past changes in total export in the open ocean, rather than simply Fe supply from dust and/or Equatorial Undercurrent processes. Additionally, perhaps a change in Fe source or flux is related to a change in a particular component of the total productivity (e.g., the production of organic matter, calcium carbonate, or biogenic opal).

Single beam survey data and links to sea-bottom video files off Helgoland

Kelp forests represent a major habitat type in coastal waters worldwide and their structure and distribution is predicted to change due to global warming. Despite their ecological and economical importance, there is still a lack of reliable spatial information on their abundance and distribution. In recent years, various hydroacoustic mapping techniques for sublittoral environments evolved. However, in turbid coastal waters, such as off the island of Helgoland (Germany, North Sea), the kelp vegetation is present in shallow water depths normally excluded from hydroacoustic surveys. In this study, single beam survey data consisting of the two seafloor parameters roughness and hardness were obtained with RoxAnn from water depth between 2 and 18 m. Our primary aim was to reliably detect the kelp forest habitat with different densities and distinguish it from other vegetated zones. Five habitat classes were identified using underwater-video and were applied for classification of acoustic signatures. Subsequently, spatial prediction maps were produced via two classification approaches: Linear discriminant analysis (LDA) and manual classification routine (MC). LDA was able to distinguish dense kelp forest from other habitats (i.e. mixed seaweed vegetation, sand, and barren bedrock), but no variances in kelp density. In contrast, MC also provided information on medium dense kelp distribution which is characterized by intermediate roughness and hardness values evoked by reduced kelp abundances. The prediction maps reach accordance levels of 62% (LDA) and 68% (MC). The presence of vegetation (kelp and mixed seaweed vegetation) was determined with higher prediction abilities of 75% (LDA) and 76% (MC). Since the different habitat classes reveal acoustic signatures that strongly overlap, the manual classification method was more appropriate for separating different kelp forest densities and low-lying vegetation. It became evident that the occurrence of kelp in this area is not simply linked to water depth. Moreover, this study shows that the two seafloor parameters collected with RoxAnn are suitable indicators for the discrimination of different densely vegetated seafloor habitats in shallow environments.

Elements and mineralogical compostions from different sediment cores off the southern China Sea

The mineralogy, major and trace elements, and neodymium and strontium isotopes of surface sediments in the South China Sea (SCS) are documented with the aim of investigating their applicability in provenance tracing. The results indicate that mineralogical compositions alone do not clearly identify the sources for the bulk sediments in the SCS. The Nd isotopic compositions of the SCS sediments show a clear zonal distribution. The most negative epsilon-Neodymium values were obtained for sediments from offshore South China (-13.0 to -10.7), while those from offshore Indochina are slightly more positive (-10.7 to -9.4). The Nd isotopic compositions of the sediments from offshore Borneo are even higher, with epsilon-Neodymium ranging from -8.8 to -7.0, and the sediments offshore from the southern Philippine Arc have the most positive epsilon-Neodymium values, from -3.7 to +5.3. This zonal distribution in epsilon-Neodymium is in good agreement with the Nd isotopic compositions of the sediments supplied by river systems that drain into the corresponding regions, indicating that Nd isotopic compositions are an adequate proxy for provenance tracing of SCS sediments. Sr isotopic compositions, in contrast, can only be used to identify the sediments from offshore South China and offshore from the southern Philippine Arc, as the 87Sr/86Sr ratios of sediments from other regions overlapped. Similar zonal distributions are also apparent in a La-Th-Sc discrimination diagram. Sediments fromthewestmargin of the SCS, such as those fromBeibuwan Bay, offshore fromHainan Island, offshore from Indochina, and from the Sunda Shelf plot in the same field, while those offshore from the northeastern SCS, offshore from Borneo, and offshore from the southern Philippine Arc plot in distinct fields. Thus, the La-Th-Sc discrimination diagram, coupledwith Nd isotopes, can be used to trace the provenance of SCS sediments. Using this method, we re-assessed the provenance changes of sediments at Ocean Drilling Program (ODP) Site 1148 since the late Oligocene. The results indicate that sediments deposited after 23.8 Ma (above 455 mcd: meters composite depth) were supplied mainly from the eastern South China Block, with a negligible contribution from the interior of the South China Block. Sediments deposited before 26 Ma (beneath 477 mcd) were supplied mainly from the North Palawan Continental Terrane, which may retain the geochemical characteristics of the materials covered on the late Mesozoic granitoids along the coastal South China. For that the North Palawan Continental Terrane is presently located within the southern Philippine Arc but was located close to ODP Site 1148 in the late Oligocene. The weathering products of volcanic material associated with the extension of the SCS ocean crust also contributed to these sediments. The rapid change in sediment source at 26-23.8 Ma probably resulted from a sudden cessation of sediment supply from the North Palawan Continental Terrane. Wesuggest that the North Palawan Continental Terrane drifted southwards alongwith the extension of the SCS ocean crust during that time, and when the basin was large enough, the supply of sediment from the south to ODP Site 1148 at the north slope may have ceased.

(Table 1) Mercury concentrations and carbon and nitrogen isotopic ratios in 14 marine species from West Greenland sampled between 2003-2004

Total mercury (THg), methylmercury (MeHg) and stable isotopes of nitrogen (d15N) and carbon (d13C) were measured in three invertebrate, five fish, three seabird and three marine mammal species of central West Greenland to investigate trophic transfer of mercury in this Arctic marine food web. The food web magnification factor (FWMF) estimated as the slope of the regression between the natural logarithm of THg or MeHg concentrations (mg/kg dw) and tissue d15N (per mil) was estimated to 0.183 (SE = 0.052) for THg and 0.339 (SE = 0.075) for MeHg. The FWMFs were not only comparable with those reported for other Arctic marine food webs but also with quite different food webs such as freshwater lakes in the sub-Arctic, East Africa and Papua New Guinea. This suggests similar mechanisms of mercury assimilation and isotopic (d15N) discrimination among a broad range of aquatic taxa and underlines the possibility of broad ecosystem comparisons using the combined contaminant and stable isotope approach.

Turbidity measurements in 96-wells microplates to determine the densities of copiotrophic and oligotrophic bacteria with the Most-Probable-Number-method during POLARSTERN cruise ANT-XI/2

A new microtiter-plate dilution method was applied during the expedition ANTARKTIS-XI/2 with RV Polarstern to determine the distribution of copiotrophic and oligotrophic bacteria in the water columns at polar fronts. Twofold serial dilutions were performed with an eight-channel Electrapette in 96-wells plates by mixing 150 µl of seawater with 150 µl of copiotrophic or olitrophic Trypticase-Broth, three times per well. After incubation of about 6 month at 2 °C, turbidities were measured with an eight-channel photometer at 405 nm and combinations of positive test results for three consecutive dilutions chosen and compared with a Most Probable Number table, calculated for 8 replicates and twofold serial dilutions. Densities of 12 to 661 cells/ml for copiotrophs, and 1 to 39 cells/ml for oligotrophs were found. Colony Forming Units on copiotrophic Trypticase-Agar were between 6 and 847 cells/ml, which is in the same range as determined with the MPN method.