525 research outputs found
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 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
was extracted from the beam-target vector asymmetry
at four-momentum transfers , 0.20, 0.29 and 0.42
(GeV/c).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 from 0.15 to 0.65 (GeV/c).
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 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 H()n cross section was measured for a range of
four-momentum transfer up to =3.91 GeV at values of the invariant
mass, , above the resonance region. The -dependence of the longitudinal
component is consistent with the -scaling prediction for hard exclusive
processes. This suggests that perturbative QCD concepts are applicable at
rather low values of . Pion form factor results, while consistent with the
-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
=3.91 GeV.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 , 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
- …