When language of instruction and language of application differ: Cognitive costs of bilingual mathematics learning

Bilingual education programs implicitly assume that the acquired knowledge is represented in a language-independent way. This assumption, however, stands in strong contrast to research findings showing that information may be represented in a way closely tied to the specific language of instruction and learning. The present study aims to examine whether and to which extent cognitive costs appear during arithmetic learning when language of instruction and language of retrieving differ. Thirty-nine high school students participating in a bilingual education program underwent a four-day training on multiplication and subtraction problems in one language (German or French), followed by a test session in which they had to solve trained as well as untrained problems in both languages. We found that cognitive costs related to language switching appeared for both arithmetic operations. Implications of our findings are discussed with respect to bilingual education as well as to cognitive mechanisms underlying different arithmetic operations.

The role of chance events in the school-to-work transition: The influence of demographic, personality and career development variables

Chance events are considered important in career development, yet little empirical research is available on their predictors and consequences. The present study investigated socio-demographic (gender, nationality, school-type), personality (openness, locus of control) and career development variables (career decidedness, career planning) in relation to perceived chance events with a retrospective (N = 229, eleventh grade), and 1-year longitudinal prospective study (N = 245, eighth/ninth grade) among Swiss adolescents. The results showed that the majority of both groups reported a significant influence of chance events on their transition from compulsory school to vocational education or high school. Importance of chance events related to socio-demographics and personality but not career preparation. Career preparation and chance events predicted subjective career success in terms of wish correspondence and overall satisfaction with transition outcome among the younger cohort. Implications include the necessity to integrate both thorough career preparation and chance events in theory and counseling practice.

Analysis of sport psychology consultancy at three Olympic Games: Facts and figures

Objectives Despite many reports on best practises regarding onsite psychological services, little research has attempted to systematically explore the frequency, issues, nature and client groups of onsite sport psychology consultancy at the Olympic Games. The present paper will fill this gap through a systematic analysis of the sport psychology consultancy of the Swiss team for the Olympic Games of 2006 in Turin, 2008 in Beijing and 2010 in Vancouver. Design Descriptive research design. Methods The day reports of the official sport psychologist were analysed. Intervention issues were labelled using categories derived from previous research and divided into the following four intervention-issue dimensions: “general performance”, “specific Olympic performance”, “organisational” and “personal” issues. Data were analysed using descriptive statistics, chi square statistics and odds ratios. Results Across the Olympic Games, between 11% and 25% of the Swiss delegation used the sport psychology services. On average, the sport psychologist provided between 2.1 and 4.6 interventions per day. Around 50% of the interventions were informal interventions. Around 30% of the clients were coaches. The most commonly addressed issues were performance related. An association was observed between previous collaboration, intervention likelihood and intervention theme. Conclusions Sport psychologists working at the Olympic Games are fully engaged with daily interventions and should have developed ideally long-term relationships with clients to truly help athletes with general performance issues. Critical incidents, working with coaches, brief contact interventions and team conflicts are specific features of the onsite consultancy. Practitioners should be trained to deal with these sorts of challenges.

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.

The significant effect of endometriosis on physical, mental and social wellbeing: results from an international cross-sectional survey.

STUDY QUESTION To what extent do the management of endometriosis and the symptoms that remain after treatment affect the quality of life in women with the disease? SUMMARY ANSWER Many women with endometriosis had impaired quality of life and continued to suffer from endometriosis-associated symptoms even though their endometriosis has been managed in tertiary care centres. WHAT IS KNOWN ALREADY The existing literature indicates that quality of life and work productivity is reduced in women with endometriosis. However, most studies have small sample sizes, are treatment related or examine newly diagnosed patients only. STUDY DESIGN, SIZE, DURATION A cross-sectional questionnaire-based survey among 931 women with endometriosis treated in 12 tertiary care centres in 10 countries. PARTICIPANTS/MATERIALS, SETTING, METHODS Women diagnosed with endometriosis who had at least one contact related to endometriosis-associated symptoms during 2008 with a participating centre were enrolled into the study. The study investigated the effect of endometriosis on education, work and social wellbeing, endometriosis-associated symptoms and health-related quality of life, by using questions obtained from the World Endometriosis Research Foundation (WERF) GSWH instrument (designed and validated for the WERF Global Study on Women's Health) and the Short Form 36 version 2 (SF-36v2). MAIN RESULTS AND THE ROLE OF CHANCE Of 3216 women invited to participate in the study, 1450 (45%) provided informed consent and out of these, 931 (931/3216 = 29%) returned the questionnaires. Endometriosis had affected work in 51% of the women and affected relationships in 50% of the women at some time during their life. Dysmenorrhoea was reported by 59%, dyspareunia by 56% and chronic pelvic pain by 60% of women. Quality of life was decreased in all eight dimensions of the SF-36v2 compared with norm-based scores from a general US population (all P < 0.01). Multivariate regression analysis showed that number of co-morbidities, chronic pain and dyspareunia had an independent negative effect on both the physical and mental component of the SF-36v2. LIMITATIONS, REASONS FOR CAUTION The fact that women were enrolled in tertiary care centres could lead to a possible over-representation of women with moderate-to-severe endometriosis, because the participating centres typically treat more complex and referred cases of endometriosis. The response rate was relatively low. Since there was no Institute Review Board approval to do a non-responder investigation on basic characteristics, some uncertainty remains regarding the representativeness of the investigated population. WIDER IMPLICATIONS OF THE FINDINGS This international multicentre survey represents a large group of women with endometriosis, in all phases of the disease, which increases the generalizability of the data. Women still suffer from frequent symptoms, despite tertiary care management, in particular chronic pain and dyspareunia. As a result their quality of life is significantly decreased. A patient-centred approach with extensive collaboration across disciplines, such as pain specialists, psychologists, sexologists and social workers, may be a valuable strategy to improve the long-term care of women with endometriosis. STUDY FUNDING/COMPETING INTEREST(S) The WERF EndoCost study is funded by the World Endometriosis Research Foundation (WERF) through grants received from Bayer Schering Pharma AG, Takeda Italia Farmaceutici SpA, Pfizer Ltd and the European Society of Human Reproduction and Embryology. The sponsors did not have a role in the design and conduct of the study; collection, management, analysis and interpretation of the data; and preparation, review or approval of the manuscript. L.H. is the chief executive and T.D. was a board member of WERF at the time of funding. T.D. holds the Merck-Serono Chair in Reproductive Medicine and Surgery, and the Ferring Chair in Reproductive Medicine at the Katholieke Universiteit Leuven in Belgium and has served as consultant/research collaborator for Merck-Serono, Schering-Plough, Astellas and Arresto.

Intrauterine instillation of diluted seminal plasma at oocyte pick-up does not increase the IVF pregnancy rate: a double-blind, placebo controlled, randomized study.

STUDY QUESTION Does intrauterine application of diluted seminal plasma (SP) at the time of ovum pick-up improve the pregnancy rate by ≥14% in IVF treatment? SUMMARY ANSWER Intrauterine instillation of diluted SP at the time of ovum pick-up is unlikely to increase the pregnancy rate by ≥14% in IVF. WHAT IS KNOWN ALREADY SP modulates endometrial function, and sexual intercourse around the time of embryo transfer has been suggested to increase the likelihood of pregnancy. A previous randomized double-blind pilot study demonstrated a strong trend towards increased pregnancy rates following the intracervical application of undiluted SP. As this study was not conclusive and as the finding could have been confounded by sexual intercourse, the intrauterine application of diluted SP was investigated in the present trial. STUDY DESIGN, SIZE, DURATION A single-centre, prospective, double-blind, placebo-controlled, randomized, superiority trial on women undergoing IVF was conducted from April 2007 until February 2012 at the University Department of Gynaecological Endocrinology and Reproductive Medicine, Heidelberg, Germany. PARTICIPANTS/MATERIALS, SETTING, METHODS The study was powered to detect an 14% increase in the clinical pregnancy rate and two sequential tests were planned using the Pocock spending function. At the first interim analysis, 279 women had been randomly assigned to intrauterine diluted SP (20% SP in saline from the patients' partner) (n = 138) or placebo (n = 141) at the time of ovum pick-up. MAIN RESULTS AND THE ROLE OF CHANCE The clinical pregnancy rate per randomized patient was 37/138 (26.8%) in the SP group and 41/141 (29.1%) in the placebo group (difference: -2.3%, 95% confidence interval of the difference: -12.7 to +8.2%; P = 0.69). The live birth rate per randomized patient was 28/138 (20.3%) in the SP group and 33/141 (23.4%) in the placebo group (difference: -3.1%, 95% confidence interval of the difference: -12.7 to +6.6%; P = 0.56). It was decided to terminate the trial due to futility at the first interim analysis, at a conditional power of 62%. LIMITATIONS, REASONS FOR CAUTION The confidence interval of the difference remains wide, thus clinically relevant differences cannot reliably be excluded based on this single study. WIDER IMPLICATIONS OF THE FINDINGS The results of this study cast doubt on the validity of the concept that SP increases endometrial receptivity and thus implantation in humans. STUDY FUNDING/COMPETING INTEREST(S) Funding was provided by the department's own research facilities. TRIAL REGISTRATION NUMBER DRKS00004615.

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Minimally invasive surgery when treating endometriosis has a positive effect on health and on quality of work life of affected women

STUDY QUESTION: What is the effect of the minimally invasive surgical treatment of endometriosis on health and on quality of work life (e.g. working performance) of affected women? SUMMARY ANSWER: Absence from work, performance loss and the general negative impact of endometriosis on the job are reduced significantly by the laparoscopic surgery. WHAT IS KNOWN ALREADY: The benefits of surgery overall and of the laparoscopic method in particular for treating endometriosis have been described before. However, previous studies focus on medical benchmarks without including the patient's perspective in a quantitative manner. STUDY DESIGN, SIZE, DURATION: A retrospective questionnaire-based survey covering 211 women with endometriosis and a history of specific laparoscopic surgery in a Swiss university hospital, tertiary care center. Data were returned anonymously and were collected from the beginning of 2012 until March 2013. PARTICIPANTS/MATERIALS, SETTING, METHODS: Women diagnosed with endometriosis and with at least one specific laparoscopic surgery in the past were enrolled in the study. The study investigated the effect of the minimally invasive surgery on health and on quality of work life of affected women. Questions used were obtained from the World Endometriosis Research Foundation (WERF) Global Study on Women's Health (GSWH) instrument. The questionnaire was shortened and adapted for the purpose of the present study. MAIN RESULTS AND THE ROLE OF CHANCE: Of the 587 women invited to participate in the study, 232 (232/587 = 40%) returned the questionnaires. Twenty-one questionnaires were excluded due to incomplete data and 211 sets (211/587 = 36%) were included in the study. Our data show that 62% (n = 130) of the study population declared endometriosis as influencing the job during the period prior to surgery, compared with 28% after surgery (P < 0.001). The mean (maximal) absence from work due to endometriosis was reduced from 2.0 (4.9) to 0.5 (1.4) hours per week (P < 0.001). The mean (maximal) loss in working performance after the surgery averaged out at 5.7% (12.6%) compared with 17.5% (30.5%) before this treatment (P < 0.001). LIMITATIONS, REASONS FOR CAUTION: The mediocre response rate of the study weakens the representativeness of the investigated population. Considering the anonymous setting a non-responder investigation was not performed. A bias due to selection, information and negativity effects within a retrospective survey cannot be excluded, although study-sensitive questions were provided in multiple ways. The absence of a control group (sham group; e.g. patients undergoing specific diagnostic laparoscopy without treatment) is a further limitation of the study. WIDER IMPLICATIONS OF THE FINDINGS: Our study shows that indicated minimally invasive surgery has a clear positive effect on the wellbeing and working performance of women suffering from moderate to severe endometriosis. Furthermore, national net savings in indirect costs with the present number of surgeries is estimated to be €10.7 million per year. In an idealized setting (i.e. without any diagnosis delay) this figure could be more than doubled. STUDY FUNDING/COMPETING INTERESTS: The study was performed on behalf of the University Hospital of Bern (Inselspital) as one of the leading Swiss tertiary care centers. The authors do not declare any competing interests.

The comprehensiveness of the ESHRE/ESGE classification of female genital tract congenital anomalies: a systematic review of cases not classified by the AFS system.

STUDY QUESTION How comprehensive is the recently published European Society of Human Reproduction and Embryology (ESHRE)/European Society for Gynaecological Endoscopy (ESGE) classification system of female genital anomalies? SUMMARY ANSWER The ESHRE/ESGE classification provides a comprehensive description and categorization of almost all of the currently known anomalies that could not be classified properly with the American Fertility Society (AFS) system. WHAT IS KNOWN ALREADY Until now, the more accepted classification system, namely that of the AFS, is associated with serious limitations in effective categorization of female genital anomalies. Many cases published in the literature could not be properly classified using the AFS system, yet a clear and accurate classification is a prerequisite for treatment. STUDY DESIGN, SIZE AND DURATION The CONUTA (CONgenital UTerine Anomalies) ESHRE/ESGE group conducted a systematic review of the literature to examine if those types of anomalies that could not be properly classified with the AFS system could be effectively classified with the use of the new ESHRE/ESGE system. An electronic literature search through Medline, Embase and Cochrane library was carried out from January 1988 to January 2014. Three participants independently screened, selected articles of potential interest and finally extracted data from all the included studies. Any disagreement was discussed and resolved after consultation with a fourth reviewer and the results were assessed independently and approved by all members of the CONUTA group. PARTICIPANTS/MATERIALS, SETTING, METHODS Among the 143 articles assessed in detail, 120 were finally selected reporting 140 cases that could not properly fit into a specific class of the AFS system. Those 140 cases were clustered in 39 different types of anomalies. MAIN RESULTS AND THE ROLE OF CHANCE The congenital anomaly involved a single organ in 12 (30.8%) out of the 39 types of anomalies, while multiple organs and/or segments of Müllerian ducts (complex anomaly) were involved in 27 (69.2%) types. Uterus was the organ most frequently involved (30/39: 76.9%), followed by cervix (26/39: 66.7%) and vagina (23/39: 59%). In all 39 types, the ESHRE/ESGE classification system provided a comprehensive description of each single or complex anomaly. A precise categorization was reached in 38 out of 39 types studied. Only one case of a bizarre uterine anomaly, with no clear embryological defect, could not be categorized and thus was placed in Class 6 (un-classified) of the ESHRE/ESGE system. LIMITATIONS, REASONS FOR CAUTION The review of the literature was thorough but we cannot rule out the possibility that other defects exist which will also require testing in the new ESHRE/ESGE system. These anomalies, however, must be rare. WIDER IMPLICATIONS OF THE FINDINGS The comprehensiveness of the ESHRE/ESGE classification adds objective scientific validity to its use. This may, therefore, promote its further dissemination and acceptance, which will have a positive outcome in clinical care and research. STUDY FUNDING/COMPETING INTERESTS None.