Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

The Charge Form Factor of the Neutron at Low Momentum Transfer from the 2H⃗(e⃗,e′n)p^{2}\vec{\rm H}(\vec{\rm e},{\rm e}'{\rm n}){\rm p} Reaction

We report new measurements of the neutron charge form factor at low momentum transfer using quasielastic electrodisintegration of the deuteron. Longitudinally polarized electrons at an energy of 850 MeV were scattered from an isotopically pure, highly polarized deuterium gas target. The scattered electrons and coincident neutrons were measured by the Bates Large Acceptance Spectrometer Toroid (BLAST) detector. The neutron form factor ratio $G^{n}_{E}/G^{n}_{M}$ was extracted from the beam-target vector asymmetry $A_{ed}^{V}$ at four-momentum transfers $Q^{2}=0.14$, 0.20, 0.29 and 0.42 (GeV/c)$^{2}$.Comment: 5 pages, 3 figures, submitted to Phys. Rev. Let

Patient journey during and after a pre-eclampsia-complicated pregnancy:a cross-sectional patient registry study

OBJECTIVES: To gain insight into the patient journey through a pre-eclampsia-complicated pregnancy. DESIGN: Cross-sectional patient registry study. SETTING: Online patient registry initiated by the Preeclampsia Foundation. PARTICIPANTS: Women with a history of pre-eclampsia enrolled in The Preeclampsia Registry (TPR). PRIMARY AND SECONDARY OUTCOME MEASURES: Retrospective patient-reported experience measures concerning awareness of pre-eclampsia, timing and type of information on pre-eclampsia received, involvement in decision making regarding medical care, mental/emotional impact of the pre-eclampsia-complicated pregnancy and impact on future pregnancy planning. RESULTS: Of 3618 TPR-participants invited to complete the Patient Journey questionnaire, data from 833 (23%) responders were available for analysis. Most responders were white (n=795, 95.4%) and lived in the USA (n=728, 87.4%). Before their pre-eclampsia diagnosis, 599 (73.9%) responders were aware of the term ‘pre-eclampsia’, but only 348 (43.7%) were aware of its associated symptoms. Women with a lower level of education were less likely to have heard of pre-eclampsia (OR 0.36, 95% CI 0.21 to 0.62). Around the time of diagnosis, 29.2% of responders did not feel involved in the decision making, which was associated with reporting a serious mental/emotional impact of the pre-eclampsia experience (OR 2.46, 95% CI 1.58 to 3.84). Over time, there was an increase in the proportion of women who were aware of the symptoms of pre-eclampsia (32.2% before 2011 to 52.5% after 2016; p<0.001) and in the proportion of responders stating they received counselling about the later-life health risks associated with pre-eclampsia (14.2% before 2011 to 25.6% after 2016; p=0.005). CONCLUSIONS: This study demonstrates that improved patient education regarding pre-eclampsia is needed, that shared decision making is of great importance to patients to enhance their healthcare experience, and that healthcare providers should make efforts to routinely incorporate counselling about the later-life health risks associated with pre-eclampsia. TRIAL REGISTRATION NUMBER: NCT02020174

Measurement of the proton electric to magnetic form factor ratio from \vec ^1H(\vec e, e'p)

We report the first precision measurement of the proton electric to magnetic form factor ratio from spin-dependent elastic scattering of longitudinally polarized electrons from a polarized hydrogen internal gas target. The measurement was performed at the MIT-Bates South Hall Ring over a range of four-momentum transfer squared $Q^2$ from 0.15 to 0.65 (GeV/c)$^2$. Significantly improved results on the proton electric and magnetic form factors are obtained in combination with previous cross-section data on elastic electron-proton scattering in the same $Q^2$ region.Comment: 4 pages, 2 figures, submitted to PR

Parity-violating Electron Deuteron Scattering and the Proton's Neutral Weak Axial Vector Form Factor

We report on a new measurement of the parity-violating asymmetry in quasielastic electron scattering from the deuteron at backward angles at Q2= 0.038 (GeV/c)2. This quantity provides a determination of the neutral weak axial vector form factor of the nucleon, which can potentially receive large electroweak corrections. The measured asymmetry A=-3.51 +/- 0.57(stat) +/- 0.58(sys)ppm is consistent with theoretical predictions. We also report on updated results of the previous experiment at Q2=0.091 (GeV/c)2, which are also consistent with theoretical predictions.Comment: 4 pages, 2 figures, submitted to Phys. Rev. Let

Cross Section Measurement of Charged Pion Photoproduction from Hydrogen and Deuterium

We have measured the differential cross section for the gamma n --> pi- p and gamma p --> pi+ n reactions at center of mass angle of 90 degree in the photon energy range from 1.1 to 5.5 GeV at Jefferson Lab (JLab). The data at photon energies greater than 3.3 GeV exhibit a global scaling behavior for both pi- and pi+ photoproduction, consistent with the constituent counting rule and the existing pi+ photoproduction data. Possible oscillations around the scaling value are suggested by these new data The data show enhancement in the scaled cross section at a center-of-mass energy near 2.2 GeV. The cross section ratio of exclusive pi- to pi+ photoproduction at high energy is consistent with the prediction based on one-hard-gluon-exchange diagrams

Scaling study of the pion electroproduction cross sections and the pion form factor

The $^{1}$H($e,e^\prime \pi^+$)n cross section was measured for a range of four-momentum transfer up to $Q^2$=3.91 GeV$^2$ at values of the invariant mass, $W$, above the resonance region. The $Q^2$-dependence of the longitudinal component is consistent with the $Q^2$-scaling prediction for hard exclusive processes. This suggests that perturbative QCD concepts are applicable at rather low values of $Q^2$. Pion form factor results, while consistent with the $Q^2$-scaling prediction, are inconsistent in magnitude with perturbative QCD calculations. The extraction of Generalized Parton Distributions from hard exclusive processes assumes the dominance of the longitudinal term. However, transverse contributions to the cross section are still significant at $Q^2$=3.91 GeV$^2$.Comment: 6 pages, 3 figure

Scaling of the F_2 structure function in nuclei and quark distributions at x>1

We present new data on electron scattering from a range of nuclei taken in Hall C at Jefferson Lab. For heavy nuclei, we observe a rapid falloff in the cross section for $x>1$, which is sensitive to short range contributions to the nuclear wave-function, and in deep inelastic scattering corresponds to probing extremely high momentum quarks. This result agrees with higher energy muon scattering measurements, but is in sharp contrast to neutrino scattering measurements which suggested a dramatic enhancement in the distribution of the `super-fast' quarks probed at x>1. The falloff at x>1 is noticeably stronger in ^2H and ^3He, but nearly identical for all heavier nuclei.Comment: 5 pages, 4 figures, to be submitted to physical revie