Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Highly pathogenic adapted HIV-1 strains limit host immunity and dictate rapid disease progression.

OBJECTIVE: The study of HIV-1 rapid progressors has been limited to specific case reports. Nevertheless, identification and characterization of the viral and host factors involved in rapid progression are crucial when attempting to uncover the correlates of rapid disease outcome. DESIGN: We carried out comparative functional analyses in rapid progressors (n = 46) and standard progressors (n = 46) early after HIV-1 seroconversion (≤1 year). The viral traits tested were viral replicative capacity, co-receptor usage, and genomic variation. Host CD8 T-cell responses, humoral activity, and HLA immunogenetic markers were also determined. RESULTS: Our data demonstrate an unusual convergence of highly pathogenic HIV-1 strains in rapid progressors. Compared with standard progressors, rapid progressor viral strains show higher in-vitro replicative capacity (81.5 vs. 67.9%; P = 0.025) and greater X4/DM co-receptor usage (26.3 vs. 2.8%; P = 0.006) in early infection. Limited or absent functional HIV-1 CD8 T-cell responses and neutralizing activity were measured in rapid progressors. Moreover, the increase in common HLA allele-restricted CD8 T-cell escape mutations in rapid progressors acts as a signature of uncontrolled HIV-1 replication and early impairment of adaptive cellular responses. CONCLUSION: Our data support a dominant role for viral factors in rapid progressors. Robust HIV-1 replication and intrinsic viral properties limit host adaptive immune responses, thus driving rapid disease progression.

Herbivores differentially limit the seedling growth and sapling recruitment of two dominant rain forest trees

Resource heterogeneity may influence how plants are attacked and respond to consumers in multiple ways. Perhaps a better understanding of how this interaction might limit sapling recruitment in tree populations may be achieved by examining species’ functional responses to herbivores on a continuum of resource availability. Here, we experimentally reduced herbivore pressure on newly established seedlings of two dominant masting trees in 40 canopy gaps, across c. 80 ha of tropical rain forest in central Africa (Korup, Cameroon). Mesh cages were built to protect individual seedlings, and their leaf production and changes in height were followed for 22 months. With more light, herbivores increasingly prevented the less shade-tolerant Microberlinia bisulcata from growing as tall as it could and producing more leaves, indicating an undercompensation. The more shade-tolerant Tetraberlinia bifoliolata was much less affected by herbivores, showing instead near to full compensation for leaf numbers, and a negligible to weak impact of herbivores on its height growth. A stage-matrix model that compared control and caged populations lent evidence for a stronger impact of herbivores on the long-term population dynamics of M. bisulcata than T. bifoliolata. Our results suggest that insect herbivores can contribute to the local coexistence of two abundant tree species at Korup by disproportionately suppressing sapling recruitment of the faster-growing dominant via undercompensation across the light gradient created by canopy disturbances. The functional patterns we have documented here are consistent with current theory, and, because gap formations are integral to forest regeneration, they may be more widely applicable in other tropical forest communities. If so, the interaction between life-history and herbivore impact across light gradients may play a substantial role in tree species coexistence.

Does low phosphorus supply limit seedling establishment and tree growth in groves of ectomycorrhizal trees in a central African rainforest?

In a forest grove at Korup dominated by the ectomycorrhizal species Microberlinia bisulcata, an experiment tested whether phosphorus (P) was a limiting nutrient. P-fertilization of seven subplots 1995-97 was compared with seven controls. It led to large increases in soil P concentrations. Trees were measured in 1995 and 2000. M. bisulcata and four other species were transplanted into the treatments, and a wild cohort of M. bisulcata seedlings was followed in both. Leaf litter fall from trees and seedlings were analysed for nutrients. Growth of trees was not affected by added P. Transplanted seedlings survived better in the controls than added-P subplots: they did not grow better with added-P.M. bisulcata wildlings survived slightly better in the added-P subplots in yr 1 but not later. Litter fall and transplanted survivors had much higher concentrations of P (not N) in the added-P than control subplots. Under current conditions, it appears that P does not limit growth of trees or hinder seedling establishment, especially of M. bisculcata, in these low-P grove soils.

Towards the continuum limit in transport coefficient computations

The analytic continuation needed for the extraction of transport coefficients necessitates in principle a continuous function of the Euclidean time variable. We report on progress towards achieving the continuum limit for 2-point correlator measurements in thermal SU(3) gauge theory, with specific attention paid to scale setting. In particular, we improve upon the determination of the critical lattice coupling and the critical temperature of pure SU(3) gauge theory, estimating r0Tc ≃ 0.7470(7) after a continuum extrapolation. As an application the determination of the heavy quark momentum diffusion coefficient from a correlator of colour-electric fields attached to a Polyakov loop is discussed.

Factors influencing the accuracy of fetal weight estimation with a focus on preterm birth at the limit of viability: a systematic literature review

BACKGROUND Fetal weight estimation (FWE) is an important factor for clinical management decisions, especially in imminent preterm birth at the limit of viability between 23(0/7) and 26(0/7) weeks of gestation. It is crucial to detect and eliminate factors that have a negative impact on the accuracy of FWE. DATA SOURCES In this systematic literature review, we investigated 14 factors that may influence the accuracy of FWE, in particular in preterm neonates born at the limit of viability. RESULTS We found that gestational age, maternal body mass index, amniotic fluid index and ruptured membranes, presentation of the fetus, location of the placenta and the presence of multiple fetuses do not seem to have an impact on FWE accuracy. The influence of the examiner's grade of experience and that of fetal gender were discussed controversially. Fetal weight, time interval between estimation and delivery and the use of different formulas seem to have an evident effect on FWE accuracy. No results were obtained on the impact of active labor. DISCUSSION This review reveals that only few studies investigated factors possibly influencing the accuracy of FWE in preterm neonates at the limit of viability. Further research in this specific age group on potential confounding factors is needed.

Climate-pollen relationships AD 1901-1996 in two small mires near the forest limit in the northern and central Swiss Alps

Climatic relationships were established in two 210Pb dated pollen sequences from small mires closely surrounded by forest just below actual forest limits (but about 300 m below potential climatic forest limits) in the northern Swiss Alps (suboceanic in climate; mainly with Picea) and the central Swiss Alps (subcontinental; mainly Pinus cembra and Larix) at annual or near-annual resolution from ad 1901 to 1996. Effects of vegetational succession were removed by splitting the time series into early and late periods and by linear detrending. Both pollen concentrations detrended by the depth-age model and modified percentages (in which counts of dominant pollen types are down-weighted) are correlated by simple linear regression with smoothed climatic parameters with one-and two-year timelags, including average monthly and April/September daylight air temperatures and with seasonal and annual precipitation sums. Results from detrended pollen concentrations suggest that peat accumulation is favoured in the northern-Alpine mire either by early snowmelt or by summer precipitation, but in the central-Alpine mire by increased precipitation and cooler summers, suggesting a position of the northern-Alpine mire near the upper altitudinal limit of peat formation, but of the central-Alpine mire near the lower limit. Results from modified pollen percentages indicate that pollen pro duction by plants growing near their upper altitudinal limit is limited by insufficient warmth in summer, and pollen production by plants growing near their lower altitudinal limit is limited by too-high temperatures. Only weakly significant pollen/climate relationships were found for Pinus cembra and Larix, probably because they experience little climatic stress growing 300 m below the potential climatic forest limit.

Seven years of annual pollen influx at the forest limit in the Swiss Alps studied by pollen traps: relations to vegetation and climate

Annual pollen influx has been monitored in short transects across the altitudinal tree limit in four areas of the Swiss Alps with the use of modified Tauber traps placed at the ground surface. The study areas are Grindelwald (8 traps), Aletsch (8 traps), Simplon (5 traps), and Zermatt (5 traps). The vegetation around the traps is described. The results obtained are: (1) Peak years of pollen influx (one or two in seven years) follow years of high average air temperatures during June–November of the previous year for Larix and Picea, and less clearly for Pinus non-cembra, but not at all for Pinus cembra and Alnus viridis. (2) At the upper forest limit, the regional pollen influx of trees (trees absent within 100 m of the pollen trap) relates well to the average basal area of the same taxon within 10–15 km of the study areas for Pinus cembra, Larix, and Betula, but not for Picea, Pinus non-cembra, and Alnus viridis. (3) The example of Zermatt shows that pollen influx characterises the upper forest limit, if the latter is more or less intact. (4) Presence/absence of Picea, Pinus cembra, Larix, Pinus non-cembra, and Alnus viridis trees within 50–100 m of the traps is apparent in the pollen influx in peak years of pollen influx but not in other years, suggesting that forest-limit trees produce significant amounts of pollen only in some years. (5) Pollen influx averaged over the study period correlates well with the abundance of plants around the pollen traps for conifer trees (but not deciduous trees), Calluna, Gramineae, and Cyperaceae, and less clearly so Compositae Subfam. Cichorioideae and Potentilla-type. (6) Influx of extra-regional pollen derived from south of the Alps is highest in Simplon, which is open to southerly winds, slightly lower in Aletsch lying just north of Simplon, and lowest in Zermatt sheltered from the south by high mountains and Grindelwald lying north of the central Alps.

Azacyclic FTY720 Analogues That Limit Nutrient Transporter Expression but Lack S1P Receptor Activity and Negative Chronotropic Effects Offer a Novel and Effective Strategy to Kill Cancer Cells in Vivo

FTY720 sequesters lymphocytes in secondary lymphoid organs through effects on sphingosine-1-phosphate (S1P) receptors. However, at higher doses than are required for immunosuppression, FTY720 also functions as an anticancer agent in multiple animal models. Our published work indicates that the anticancer effects of FTY720 do not depend on actions at S1P receptors but instead stem from FTY720s ability to restrict access to extracellular nutrients by down-regulating nutrient transporter proteins. This result was significant because S1P receptor activation is responsible for FTY720s dose-limiting toxicity, bradycardia, that prevents its use in cancer patients. Here, we describe diastereomeric and enantiomeric 3- and 4-C-aryl 2-hydroxymethyl pyrrolidines that are more active than the previously known analogues. Of importance is that these compounds fail to activate S1P1 or S1P3 receptors in vivo but retain inhibitory effects on nutrient transporter proteins and anticancer activity in solid tumor xenograft models. Our studies reaffirm that the anticancer activity of FTY720 does not depend upon S1P receptor activation and uphold the promise of using S1P receptor-inactive azacyclic FTY720 analogues in human cancer patients.

Herbivores limit the population size of big-leaf mahogany trees in an Amazonian forest

The Janzen–Connell hypothesis proposes that specialized herbivores maintain high numbers of tree species in tropical forests by restricting adult recruitment so that host populations remain at low densities. We tested this prediction for the large timber tree species, Swietenia macrophylla, whose seeds and seedlings are preyed upon by small mammals and a host-specific moth caterpillar Steniscadia poliophaea, respectively. At a primary forest site, experimental seed additions to gaps – canopy-disturbed areas that enhance seedling growth into saplings – over three years revealed lower survival and seedling recruitment closer to conspecific trees and in higher basal area neighborhoods, as well as reduced subsequent seedling survival and height growth. When we included these Janzen–Connell effects in a spatially explicit individual-based population model, the caterpillar's impact was critical to limiting Swietenia's adult tree density, with a > 10-fold reduction estimated at 300 years. Our research demonstrates the crucial but oft-ignored linkage between Janzen–Connell effects on offspring and population-level consequences for a long-lived, potentially dominant tree species.

Implications of Longterm Diameter-Limit Harvesting: Effects on Radial Growth of Red Spruce (Picea rubens) and Genetic Diversity of White Pine (Pinus strobus)

For over 3 centuries, diameter-limit harvesting has been a predominant logging method in the northeastern United States. Silvicultural theory asserts that such intensively selective harvesting can lead to genetic degradation. A decrease in softwood productivity has recently been reported in Maine - has a long history of dysgenic selection degraded the genetic resources of Maine softwoods, contributing to a decrease in growth and productivity? This study examines two aspects of potential implications of diameter-limit harvesting: effects on residual phenotypes of red spruce and impacts on genetic diversity of white pine. Radial growth of residual red spruce trees in stands experiencing 50 years of fixed diameter-limit harvesting was measured using annual increment rings and compared with residual red spruce trees in positive selection stands. Trees remaiaing after several rounds of diameter-limit harvesting exhibited sigdicantl y smaller radial sizes throughout their lives, and displayed significantly slower growth rates for the first 80 years of measured growth. These results strongly suggest that the largest and fastest-growing genotypes and their respective gene complexes determining good radial growth have been removed from the diameter-limit stand. Dysgenic selection can be observed in fixed diarneter-limit stands, resulting in a diminished genetic resource and decreased residual stand value. To examine more direct genetic implications of long-term diameter-limit harvesting, microsatellite DNA markers were implemented to study genetic diversity of eastern white pine in Maine. Three age groups of trees were studied: mature trees older than 200 years, juvenile trees 5-30 years old, and embryos. Trees were genotyped at 10 microsatellite loci. Overall genetic diversity levels of eastern white pine in Maine were extremely high, with an average observed heterozygosity of 0.762. Genetic differentiation was minimal among and between all three age groups, although an excess of heterozygotes was shown in the mature and juvenile groups that was not reflected in the embryo group, which actually had a slight heterozygote deficiency. Allele frequencies did not differ significantly between age groups, but did reveal more rare and low frequency alleles in the embryo groups than in the mature group. Overall, low frequency alleles comprise the largest portion of alleles in the sample population, with no common alleles evident overall. These results suggest that significant genetic degradation has either not occurred for white pine, or that the results of dysgenic selection have not yet emerged. It is clear, however, that selective harvesting could result in a loss of low frequency alleles, which are a primary reserve of evolutionary potential in a species. Implications of these studies affect industrial forestry, regional economics, and ecological concerns for the northeast. Long-term diameter-limit harvesting can lead to a degradation of residual phenotypes, and an overall decrease in stand quality. Potentially, a loss of low frequency, locally adapted alleles could result in a decrease of allelic richness and degradation of the regidnal genetic resource. Decreased genetic variation can lead to seriously limited evolutionary potential of species and ecosystems, particularly in rapidly changing environments. Based on these findings, I recommend a reassessment of any harvesting prescription that includes fixed diameter-limit removals, particularly for species that have low natural genetic diversity levels or a limited natural range, such as red spruce. Maintenance of a healthy genetic reserve can avoid effects of dysgenic harvesting.