Well structured program equivalence is highly undecidable

We show that strict deterministic propositional dynamic logic with intersection is highly undecidable, solving a problem in the Stanford Encyclopedia of Philosophy. In fact we show something quite a bit stronger. We introduce the construction of program equivalence, which returns the value $\mathsf{T}$ precisely when two given programs are equivalent on halting computations. We show that virtually any variant of propositional dynamic logic has $\Pi_1^1$-hard validity problem if it can express even just the equivalence of well-structured programs with the empty program \texttt{skip}. We also show, in these cases, that the set of propositional statements valid over finite models is not recursively enumerable, so there is not even an axiomatisation for finitely valid propositions.Comment: 8 page

The rediscovery of Ornithogalum britteniae (Hyacinthaceae) and an amendment to the description

Ornithogalum britteniae F.M. Leight. ex Oberm., described in 1978 and until now only known from the type specimen of uncertain origin, was recollected near Grahamstown in 2001 enabling the description and illustration of leaf surface, pollen, capsule, seed and habitat for the first time. The conservation status is assessed following the current IUCN red data criteria and a status of Vulnerable (VU A3cD2) is applied. The habitat, an ecotone between Succulent Thicket and Nama-Karoo, is discussed in light of the high succulent plant diversity and several rare and localised endemic species found there

Chromosome characterization and variability in some Iridaceae from Northeastern Brazil

The chromosomes of 15 species of Iridaceae of the genera Alophia, Cipura, Eleutherine, Neomarica and Trimezia (subfamily Iridoideae) were examined after conventional Giemsa staining. The karyotypes of Alophia drummondii (2n = 14+1B, 28, 42 and 56), Cipura paludosa (2n = 14), C. xanthomelas (2n = 28) and Eleutherine bulbosa (2n = 12) were asymmetric; Neomarica candida, N. caerulea, N. humilis, N. glauca, N. gracilis, N. northiana and Neomarica sp. (2n = 18); N. cf. paradoxa (2n = 28), Trimezia fosteriana (2n = 52), T. martinicensis (2n = 54) and T. connata (2n = 82) were all generally symmetric. New diploid numbers of 2n = 56 for Alophia drummondii, 2n = 18 for N. candida, N. humilis, N. glauca, and N. gracilis, 2n = 28 for N. cf. paradoxa, and 2n = 82 for T. connata are reported. The karyotypic evolution of the studied species is discussed

Pneumococcal conjugate vaccine given shortly after birth stimulates effective antibody concentrations and primes immunological memory for sustained infant protection.

BACKGROUND: In developing countries, newborn immunization with pneumococcal conjugate vaccines (PCVs) could protect young infants who are at high risk of invasive pneumococcal disease (IPD) but might lead to immune tolerance. METHODS: In a randomized trial, young infants received 7-valent PCV at 6, 10, and 14 weeks (Expanded Programme on Immunization [EPI] group) or 0, 10, and 14 weeks (newborn group). Safety was monitored actively at 2-7 days and then passively. Serum samples obtained at birth and 6, 10, 14, 18, 36, and 37 weeks were assayed by enzyme-linked immunosorbent assay for anticapsular immunoglobulin G concentration and avidity. Infants were boosted with either 7-valent PCV or one-fifth dose of pneumococcal polysaccharide vaccine at 36 weeks. Nasopharyngeal swab samples were obtained at 18 and 36 weeks. RESULTS: Three-hundred neonates and young infants were enrolled. Newborn vaccination was well tolerated. Adverse events occurred equally in each group; none was related to immunization. One infant, immunized at birth, died of unrelated neonatal sepsis. At 18 weeks, protective concentrations (≥0.35 μg/mL) were achieved against each serotype by ≥87% of infants with no significant differences between groups. Geometric mean concentrations were higher in the EPI group for serotypes 4, 9V, 18C, and 19F at 18 weeks and for serotype 4 at 36 weeks. Avidity was greater in the newborn group for serotypes 4, 6B, and 19F at 18 weeks and for serotype 19F at 36 weeks. Booster responses and vaccine-type/nonvaccine-type carriage prevalence did not differ between groups. CONCLUSIONS: PCV was safe, immunogenic, and primed for memory when given at birth. There was no evidence of immune tolerance. Vaccination beginning at birth offers an alternative to control IPD in vulnerable young infants

The pollination of Tritoniopsis parviflora (Iridaceae) by the oil-collecting bee Rediviva gigas (Hymenoptera: Melittidae): the first record of oil-secretion in African Iridaceae

The Western Cape geophyte Tritoniopsis parviflora (Iridaceae: Crocoideae) has been found to secrete floral oils as well as nectar. The oils are secreted from epithelial elaiophores over much of the proximal parts of the perianth. This is the first report of oil-secretion in the subfamily Crocoideae and the first record of oil-secretion in the Old World representatives of the Iridaceae. The species is pollinated by the large oil-collecting bee Rediviva gigas (Hymenoptera: Melittidae) and is part of a guild of yellow-flowered, often fragrant species that flower in late spring and early summer, usually only after a fire the previous season. Tritoniopsis parviflora will not self-pollinate and the provision of both oil and nectar may be a strategy for ensuring pollination in populations in areas where R. gigas is not presen

A taxonomic review of Cephalaria (Dipsacaceae) in the Cape Floristic Region

AbstractSix species of Cephalaria are recorded from the Cape Floristic Region (CFR), with four rare and localised species endemic to the region in the extreme southwest, and two species widely distributed in the east of the country and just entering the CFR region in the extreme east. We review these species, with full descriptions, illustrations and notes on distribution, ecology, and conservation status

Global action on the social determinants of health

Action on the social determinants of health (SDH) is required to reduce inequities in health. This article summarises global progress, largely in terms of commitments and strategies. It is clear that there is widespread support for a SDH approach across the world, from global political commitment to within country action. Inequities in the conditions in which people are born, live, work and age, are however driven by inequities in power, money and resources. Political, economic and resource distribution decisions made outside the health sector need to consider health as an outcome across the social distribution as opposed to a focus solely on increasing productivity. A health in all policies approach can go some way to ensure this consideration, and we present evidence that some countries are taking this approach, however given entrenched inequalities, there is some way to go. Measuring progress on the SDH globally will be key to future development of successful policies and implementation plans, enabling the identification and sharing of best practice. WHO work to align measures with the sustainable development goals will help to forward progress measurement

Building of the global movement for health equity: from Santiago to Rio and beyond.

Health inequalities are present throughout the world, both within and between countries. The Commission on Social Determinants of Health drew attention to dramatic social gradients in health within most countries and made proposals for action. These inequalities are not inevitable. The purpose of this article is to report on activity that has taken place worldwide after the report by the Commission on Social Determinants of Health. First, we summarise the global situation. Second, we summarise an interim report of the emerging findings from an independent review of social determinants and the health divide, which was commissioned by the WHO European region. The world conference on social determinants of health will be held in Rio de Janeiro, Brazil, in October, 2011. This summit provides an opportunity to galvanise support, prioritise action, and respond to the call by the Commission on Social Determinants of Health for social justice as a route to a fair distribution of health

Th2 Cytokine Levels Distort the Association of IL-10 and IFN-γ with Allergic Phenotypes

The expression of allergic phenotypes involves complex inter-relationships among several Th2 and Th1 cytokines as well as the regulator cytokine interleukin (IL)-10. These direct or indirect interrelationships may distort the true associations of cytokine responses with these phenotypes. In this study, we aimed to clarify the effects of the regulatory cytokine IL-10 and Th1 cytokine interferon-gamma (IFN-?) on allergic phenotypes after adjusting for the correlations with Th2 cytokines. After adjusting for Th2 cytokines, IL-10 and IFN-? were protective against atopy. Adjusted levels of IL-10 and IFN-? stimulated with house-dust mite (HDM) were significantly lower in atopics than non-atopics, for IL-10 adjusting for IL-5 (P = 0.002), IL-13 (P = 0.012), IL-9 (P = 0.016), and IL-4 (P = 0.043), and for IFN-? adjusting for IL-5 (P = 0.005), IL-13 (P = 0.005), and IL-9 (P = 0.037). IL-10 and IFN-? levels stimulated with phytohaemagglutinin (PHA) and staphylococcal enterotoxin B (SEB) exhibited a similar pattern. The adjusted levels of IL-10 and IFN-? stimulated with HDM, PHA or SEB were all significantly negatively correlated with total serum IgE, except for IFN-? stimulated with SEB. Levels of Th2 cytokines distort the associations of IL-10 and IFN-? with allergic phenotypes. Removing the covariance with Th2 cytokines, both IL-10 and IFN-? were protective against atopy

Contextual logic for quantum systems

In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated to the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Differently to standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction.Comment: 16 pages, no figure