Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Experimental and Calculated Spectra of π-Stacked Mild Charge-Transfer Complexes: Jet-Cooled Perylene·(Tetrachloroethene) n , n = 1,2

The S0 ↔ S1 spectra of the mild charge-transfer (CT) complexes perylene·tetrachloroethene (P·4ClE) and perylene·(tetrachloroethene)2 (P·(4ClE)2) are investigated by two-color resonant two-photon ionization (2C-R2PI) and dispersed fluorescence spectroscopy in supersonic jets. The S0 → S1 vibrationless transitions of P·4ClE and P·(4ClE)2 are shifted by δν = −451 and −858 cm–1 relative to perylene, translating to excited-state dissociation energy increases of 5.4 and 10.3 kJ/mol, respectively. The red shift is ∼30% larger than that of perylene·trans-1,2-dichloroethene; therefore, the increase in chlorination increases the excited-state stabilization and CT character of the interaction, but the electronic excitation remains largely confined to the perylene moiety. The 2C-R2PI and fluorescence spectra of P·4ClE exhibit strong progressions in the perylene intramolecular twist (1au) vibration (42 cm–1 in S0 and 55 cm–1 in S1), signaling that perylene deforms along its twist coordinate upon electronic excitation. The intermolecular stretching (Tz) and internal rotation (Rc) vibrations are weak; therefore, the P·4ClE intermolecular potential energy surface (IPES) changes little during the S0 ↔ S1 transition. The minimum-energy structures and inter- and intramolecular vibrational frequencies of P·4ClE and P·(4ClE)2 are calculated with the dispersion-corrected density functional theory (DFT) methods B97-D3, ωB97X-D, M06, and M06-2X and the spin-consistent-scaled (SCS) variant of the approximate second-order coupled-cluster method, SCS-CC2. All methods predict the global minima to be π-stacked centered coplanar structures with the long axis of tetrachloroethene rotated by τ ≈ 60° relative to the perylene long axis. The calculated binding energies are in the range of −D0 = 28–35 kJ/mol. A second minimum is predicted with τ ≈ 25°, with ∼1 kJ/mol smaller binding energy. Although both monomers are achiral, both the P·4ClE and P·(4ClE)2 complexes are chiral. The best agreement for adiabatic excitation energies and vibrational frequencies is observed for the ωB97X-D and M06-2X DFT methods.

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.

Sleep restriction attenuates amplitudes and attentional modulation of pain-related evoked potentials, but augments pain ratings in healthy volunteers

The experiment investigated the impact of sleep restriction on pain perception and related evoked potential correlates (laser-evoked potentials, LEPs). Ten healthy subjects with good sleep quality were investigated in the morning twice, once after habitual sleep and once after partial sleep restriction. Additionally, we studied the impact of attentional focussing on pain and LEPs by directing attention to (intensity discrimination) or away from the stimulus (mental arithmetic). Laser stimuli directed to the hand dorsum were rated as 30% more painful after sleep restriction (49+/-7 mm) than after a night of habitual sleep (38+/-7 mm). A significant interaction between attentional focus and sleep condition suggested that attentional focusing was less distinctive under sleep restriction. Intensity discrimination was preserved. In contrast, the amplitude of the early parasylvian N1 of LEPs was significantly smaller after a night of partial sleep restriction (-36%, p<0.05). Likewise, the amplitude of the vertex N2-P2 was significantly reduced (-34%, p<0.01); also attentional modulation of the N2-P2 was reduced. Thus, objective (LEPs) and subjective (pain ratings) parameters of nociceptive processing were differentially modulated by partial sleep restriction. We propose, that sleep reduction leads to an impairment of activation in the ascending pathway (leading to reduced LEPs). In contradistinction, pain perception was boosted, which we attribute to lack of pain control distinct from classical descending inhibition, and thus not affecting the projection pathway. Sleep-restricted subjects exhibit reduced attentional modulation of pain stimuli and may thus have difficulties to readily attend to or disengage from pain.

Taiji practice attenuates psychobiological stress reactivity - A randomized controlled trial in healthy subjects

Background: Stress reducing effects of Taiji, a mindful and gentle form of body movement, have been reported in previous studies, but standardized and controlled experimental studies are scarce. The present study investigates the effect of regular Taiji practice on psychobiological stress response in healthy men and women. Methods: 70 participants were randomly assigned to either Taiji classes or a waiting list. After 3 months, 26 (8 men, 18 women) persons in the Taiji group and 23 (9 men, 14 women) in the waiting control group underwent a standardized psychosocial stress test combining public speaking and mental arithmetic in front of an audience. Salivary cortisol and α-amylase, heart rate, and psychological responses to psychosocial stress were compared between the study groups. (ClinicalTrials.gov number, NCT01122706.) Results: Stress induced characteristic changes in all psychological and physiological measures. Compared to controls, Taiji participants exhibited a significantly lower stress reactivity of cortisol (p = .028) and heart rate (p = .028), as well as lower α-amylase levels (p = .049). They reported a lower increase in perceived stressfulness (p = .006) and maintained a higher level of calmness (p = .019) in response to psychosocial stress. Conclusion: Our results consistently suggest that practicing Taiji attenuates psychobiological stress reactivity in healthy subjects. This may underline the role of Taiji as a useful mind–body practice for stress prevention.

End-tidal CO(2). An important parameter for a correct interpretation in functional brain studies using speech tasks

The aim was to investigate the effect of different speech tasks, i.e. recitation of prose (PR), alliteration (AR) and hexameter (HR) verses and a control task (mental arithmetic (MA) with voicing of the result on end-tidal CO2 (PETCO2), cerebral hemodynamics and oxygenation. CO2 levels in the blood are known to strongly affect cerebral blood flow. Speech changes breathing pattern and may affect CO2 levels. Measurements were performed on 24 healthy adult volunteers during the performance of the 4 tasks. Tissue oxygen saturation (StO2) and absolute concentrations of oxyhemoglobin ([O2Hb]), deoxyhemoglobin ([HHb]) and total hemoglobin ([tHb]) were measured by functional near-infrared spectroscopy (fNIRS) and PETCO2 by a gas analyzer. Statistical analysis was applied to the difference between baseline before the task, 2 recitation and 5 baseline periods after the task. The 2 brain hemispheres and 4 tasks were tested separately. A significant decrease in PETCO2 was found during all 4 tasks with the smallest decrease during the MA task. During the recitation tasks (PR, AR and HR) a statistically significant (p < 0.05) decrease occurred for StO2 during PR and AR in the right prefrontal cortex (PFC) and during AR and HR in the left PFC. [O2Hb] decreased significantly during PR, AR and HR in both hemispheres. [HHb] increased significantly during the AR task in the right PFC. [tHb] decreased significantly during HR in the right PFC and during PR, AR and HR in the left PFC. During the MA task, StO2 increased and [HHb] decreased significantly during the MA task. We conclude that changes in breathing (hyperventilation) during the tasks led to lower CO2 pressure in the blood (hypocapnia), predominantly responsible for the measured changes in cerebral hemodynamics and oxygenation. In conclusion, our findings demonstrate that PETCO2 should be monitored during functional brain studies investigating speech using neuroimaging modalities, such as fNIRS, fMRI to ensure a correct interpretation of changes in hemodynamics and oxygenation.

Delayed response and lack of habituation in plasma interleukin-6 to acute mental stress in men

Acute mental stress induces a significant increase in plasma interleukin (IL)-6 levels as a possible mechanism for how psychological stress might contribute to atherosclerosis. We investigated whether the IL-6 response would habituate in response to a repetitively applied mental stressor and whether cortisol reactivity would show a relationship with IL-6 reactivity. Study participants were 21 reasonably healthy men (mean age 46+/-7 years) who underwent the Trier Social Stress Test (combination of a 3-min preparation, 5-min speech, and 5-min mental arithmetic) three times with an interval of 1 week. Plasma IL-6 and free salivary cortisol were measured immediately before and after stress, and at 45 and 105 min of recovery from stress. Cortisol samples were also obtained 15 and 30 min after stress. Compared to non-stressed controls, IL-6 significantly increased between rest and 45 min post-stress (p=.022) and between rest and 105 min post-stress (p=.001). Peak cortisol (p=.034) and systolic blood pressure (p=.009) responses to stress both habituated between weeks one and three. No adaptation occurred in diastolic blood pressure, heart rate, and IL-6 responses to stress. The areas under the curve integrating the stress-induced changes in cortisol and IL-6 reactivity were negatively correlated at visit three (r=-.54, p=.011), but not at visit one. The IL-6 response to acute mental stress occurs delayed and shows no adaptation to repeated moderate mental stress. The hypothalamus-pituitary-adrenal axis may attenuate stress reactivity of IL-6. The lack of habituation in IL-6 responses to daily stress could subject at-risk individuals to higher atherosclerotic morbidity and mortality.

Anticipatory cognitive stress appraisal and the acute procoagulant stress response in men

OBJECTIVE: Acute mental stress elicits blood hypercoagulability. Following a transactional stress model, we investigated whether individuals who anticipate stress as more threatening, challenging, and as exceeding their coping skills show greater stress reactivity of the coagulation activation marker D-dimer, indicating fibrin generation in plasma. METHODS: Forty-seven men (mean age 44 +/- 14 years; mean blood pressure [MBP] 101 +/- 12 mm Hg; mean body mass index [BMI] 26 +/- 3 kg/m(2)) completed the Primary Appraisal Secondary Appraisal (PASA) scale before undergoing the Trier Social Stress Test (combination of mock job interview and mental arithmetic task). Heart rate, blood pressure, plasma catecholamines, and D-dimer levels were measured before and after stress, and during recovery up to 60 minutes poststress. RESULTS: Hemodynamic measures, catecholamines, and D-dimer changed across all time points (p values <.001). The PASA "Stress Index" (integrated measure of transactional stress perception) correlated with total D-dimer area under the curve (AUC) between rest and 60 minutes poststress (r = 0.30, p = .050) and with D-dimer change from rest to immediately poststress (r = 0.29, p = .046). Primary appraisal (combined "threat" and "challenge") correlated with total D-dimer AUC (r = 0.37, p = .017), D-dimer stress change (r = 0.41, p = .004), and D-dimer recovery (r = 0.32, p = .042). "Challenge" correlated more strongly with D-dimer stress change than "threat" (p = .020). Primary appraisal (DeltaR(2) = 0.098, beta = 0.37, p = .019), and particularly its subscale "challenge" (DeltaR(2) = 0.138, beta = 0.40, p = .005), predicted D-dimer stress change independently of age, BP, BMI, and catecholamine change. CONCLUSIONS: Anticipatory cognitive appraisal determined the extent of coagulation activation to and recovery from stress in men. Particularly individuals who anticipated the stressor as more challenging and also more threatening had a greater fibrin stress response.

Low social support and poor emotional regulation are associated with increased stress hormone reactivity to mental stress in systemic hypertension

CONTEXT: There is strong evidence for a physiological hyperreactivity to stress in systemic hypertension, but data on associated or potentially moderating psychological factors are scarce. OBJECTIVE: The objective of the study was to identify psychological correlates of physiological stress reactivity in systemic hypertension. DESIGN: This was a cross-sectional, quasi-experimentally controlled study. Study participants underwent an acute standardized psychosocial stress task combining public speaking and mental arithmetic in front of an audience. SETTING: The study was conducted in the population in the state of Zurich, Switzerland. SUBJECTS: Subjects included 22 hypertensive and 26 normotensive men (mean +/- sem 44 +/- 2 yr). MAIN OUTCOME MEASURES: We assessed the psychological measures social support, emotional regulation, and cognitive appraisal of the stressful situation. Moreover, we measured salivary cortisol and plasma epinephrine and norepinephrine before and after stress and several times up to 60 min thereafter as well as blood pressure and heart rate. RESULTS: We found poorer hedonistic emotional regulation (HER) and lower perceived social support in hypertensives, compared with normotensives (P < 0.01). Compared with normotensives, hypertensives showed higher cortisol, epinephrine, and norepinephrine secretions after stress (P < 0.038) as well as higher systolic and diastolic blood pressure (P < 0.001). Cortisol reactivity and norepinephrine secretion were highest in hypertensive men with low HER (P < 0.05). In contrast, hypertensives with high HER did not significantly differ from normotensives in both cortisol and norepinephrine secretion after stress. Epinephrine secretion was highest in hypertensives with low social support but was not different between hypertensives with high social support and normotensives. CONCLUSIONS: The findings suggest that both low social support and low HER are associated with elevated stress hormone reactivity in systemic hypertension.

Intra-subject variability in attention-deficit hyperactivity disorder

BACKGROUND: This study is based on a comprehensive survey of the neuropsychological attention-deficit hyperactivity disorder (ADHD) literature and presents the first psychometric analyses of different parameters of intra-subject variability (ISV) in patients with ADHD compared to healthy controls, using the Continuous Performance Test, a Go-NoGo task, a Stop Signal Task, as well as N-back tasks. METHODS: Data of 57 patients with ADHD and 53 age- and gender-matched controls were available for statistical analysis. Different parameters were used to describe central tendency (arithmetic mean, median), dispersion (standard deviation, coefficient of variation, consecutive variance), and shape (skewness, excess) of reaction time distributions, as well as errors (commissions and omissions). RESULTS: Group comparisons revealed by far the strongest effect sizes for measures of dispersion, followed by measures of central tendency, and by commission errors. Statistical control of ISV reduced group differences in the other measures substantially. One (patients) or two (controls) principal components explained up to 67% of the inter-individual differences in intra-individual variability. CONCLUSIONS: Results suggest that, across a variety of neuropsychological tests, measures of ISV contribute best to group discrimination, with limited incremental validity of measures of central tendency and errors. Furthermore, increased ISV might be a unitary construct in ADHD.

Cognitive functioning, behavior, and quality of life after stroke in childhood

Rationale: To provide a better understanding of cognitive functioning, motor outcome, behavior and quality of life after childhood stroke and to study the relationship between variables expected to influence rehabilitation and outcome (age at stroke, time elapsed since stroke, lateralization, location and size of lesion). Methods: Children who suffered from stroke between birth and their eighteenth year of life underwent an assessment consisting of cognitive tests (WISC-III, WAIS-R, K-ABC, TAP, Rey-Figure, German Version of the CVLT) and questionnaires (Conner's Scales, KIDSCREEN). Results: Twenty-one patients after stroke in childhood (15 males, mean 11;11 years, SD 4;3, range 6;10-21;2) participated in the study. Mean Intelligence Quotients (IQ) were situated within the normal range (mean Full Scale IQ 96.5, range IQ 79-129). However, significantly more patients showed deficits in various cognitive domains than expected from a healthy population (Performance IQ p = .000; Digit Span p = .000, Arithmetic's p = .007, Divided Attention p = .028, Alertness p = .002). Verbal IQ was significantly better than Performance IQ in 13 of 17 patients, independent of the hemispheric side of lesion. Symptoms of ADHD occurred more often in the patients' sample than in a healthy population (learning difficulties/inattention p = .000; impulsivity/hyperactivity p = .006; psychosomatics p = .006). Certain aspects of quality of life were reduced (autonomy p = .003; parents' relation p = .003; social acceptance p = .037). Three patients had a right-sided hemiparesis, mean values of motor functions of the other patients were slightly impaired (sequential finger movements p = .000, hand alternation p = .001, foot tapping p = .043). In patients without hemiparesis, there was no relation between the lateralization of lesion and motor outcome. Lesion that occurred in the midst of childhood (5-10 years) led to better cognitive outcome than lesion in the very early (0-5 years) or late childhood (10-18 years). Other variables such as presence of seizure, elapsed time since stroke and size of lesion had a small to no impact on prognosis. Conclusion: Moderate cognitive and motor deficits, behavioral problems, and impairment in some aspects of quality of life frequently remain after stroke in childhood. Visuospatial functions are more often reduced than verbal functions, independent of the hemispheric side of lesion. This indicates a functional superiority of verbal skills compared to visuospatial skills in the process of recovery after brain injury. Compared to the cognitive outcome following stroke in adults, cognitive sequelae after childhood stroke do indicate neither the lateralization nor the location of the lesion focus. Age at stroke seems to be the only determining factor influencing cognitive outcome.

Aspirin, but not propranolol, attenuates the acute stress-induced increase in circulating levels of interleukin-6: a randomized, double-blind, placebo-controlled study

Psychosocial stress might increase the risk of atherothrombotic events by setting off an elevation in circulating levels of the proinflammatory cytokine interleukin (IL)-6. We investigated the effect of aspirin and propranolol on the responsiveness of plasma IL-6 levels to acute psychosocial stress. For 5 days, 64 healthy subjects were randomized, double-blind, to daily oral aspirin 100mg plus long-acting propranolol 80 mg, aspirin 100mg plus placebo, long-acting propranolol 80 mg plus placebo, or placebo plus placebo. Thereafter, all subjects underwent the 13-min Trier Social Stress Test, which combines a preparation phase, a job interview, and a mental arithmetic task. Plasma IL-6 levels were measured in blood samples collected immediately pre- and post-stress, and 45 min and 105 min thereafter. The change in IL-6 from pre-stress to 105 min post-stress differed between subjects with aspirin medication and those without (p =0.033; eta p2=0.059). IL-6 levels increased less from pre-stress to 105 min post-stress (p <0.027) and were lower (p =0.010) at 105 min post-stress in subjects with aspirin than in subjects without aspirin. The significance of these results was maintained when controlling for gender, age, waist-to-hip ratio, mean arterial blood pressure, and smoking status. Medication with propranolol was not significantly associated with the stress-induced change in IL-6 levels. Also, aspirin and propranolol did not significantly interact in determining the IL-6 stress response. Aspirin but not propranolol attenuated the stress-induced increase in plasma IL-6 levels. This suggests one mechanism by which aspirin treatment might reduce the risk of atherothrombotic events triggered by acute mental stress.

Spatial isolation and genetic differentiation in naturally fragmented plant populations of the Swiss Alps

Aims The effect Of anthropogenic landscape fragmentation on the genetic diversity and adaptive potential of plant populations is a major issue in conservation biology. However, little is known about the partitioning of genetic diversity in alpine species, which occur in naturally fragmented habitats. Here, we, investigate molecular patterns of three alpine plants (Epilobium fleischeri, Geum reptans and Campanula thyrsoides) across Switzerland and ask whether Spatial isolation has led to high levels of populations differentiation, increasing over distance, and a decrease of within-population variability. We further hypothesize that file contrasting potential for long-distance dispersal (LDD) of Seed in these Species will considerably influence and explain diversity partitioning. Methods For each study species, we Sampled 20-23 individuals from each of 20-32 populations across entire Switzerland. We applied Random Amplified Polymorphic Dimorphism markers to assess genetic diversity within (Nei's expected heterozygosity, H-e; percentage of polymorphic hands, P-P) and among (analysis of molecular variance, Phi(st)) populations and correlated population size and altitude with within-populalion diversity. Spatial patterns of genetic relatedness were investigated using Mantel tests and standardized major axis regression as well as unweighted pair group method with arithmetic mean cluster analyses and Monmonier's algorithm. To avoid known biases, We standardized the numbers of populations, individuals and markers using multiple random reductions. We modelled LDD with a high alpine wind data set using the terminal velocity and height of seed release as key parameters. Additionally, we assessed a number of important life-history traits and factors that potentially influence genetic diversity partitioning (e.g. breeding system, longevity and population size). Important findings For all three species, We found a significant isolation-by-distance relationship but only a moderately high differentiation among populations (Phi(st): 22.7, 48 and 16.8%, for E. fleischeri, G. reptans and C. thyrsoides, respectively). Within-population diversity (H-c: 0.19-0.21, P-p: 62-75%) was not reduced in comparison to known results from lowland species and even small populations with < 50 reproductive individuals contained high levels of genetic diversity. We further found no indication that a high long-distance seed dispersal potential enhances genetic connectivity among populations. Gene flow seems to have a strong stochastic component causing large dissimilarity between population pairs irrespective of the spatial distance. Our results suggest that other life-history traits, especially the breeding System, may play an important role in genetic diversity partitioning. We conclude that spatial isolation in the alpine environment has a strong influence on population relatedness but that a number of factors can considerably influence the strength of this relationship.

The effect of natural habituation on coagulation responses to acute mental stress and recovery in men

Blood coagulation activation might be one mechanism linking acute mental stress with coronary events. We investigated the natural habituation of coagulation responses and recovery to short-term mental stress. Three times with one-week intervals, 24 men (mean age 47 +/- 7 years) underwent the same 13-min stressor (preparation, job interview, mental arithmetic). During each visit venous blood was obtained four times (baseline, immediately post-stress, 45 min of recovery, 105 min of recovery). Eight blood coagulation parameters were measured at weeks one and three. Acute stress provoked increases in von Willebrand factor antigen, fibrinogen, clotting factor FVII activity (FVII:C), FVIII:C, FXII:C (p's < or = 0.019), and D-dimer (N.S.). All coagulation parameters experienced full recovery except FVIII:C (p = 0.022). Stress did not significantly affect activated partial thromboplastin time and prothrombin time. At all time points FVIII:C and FXII:C levels were significantly higher at week one compared to week three (p's < or = 0.041). Before catheter insertion, systolic blood pressure (p = 0.001) and heart rate (p = 0.026) were relatively higher at week one. Unlike the magnitude of systolic blood pressure response to stress (p = 0.007) and of cortisol recovery from stress (p = 0.002), the magnitude of all coagulation responses to stress and the recovery from stress were similar in week one and week three. Sympathetic activation with anticipatory stress best explained increased baseline activity in FVIII and FXII at week one. An incapacity of the coagulation system to adapt to stress repeats is perhaps a consequence of evolution, but might also contribute to increased coronary risk in some individuals, particularly in those with cardiovascular diseases.