7,435 research outputs found
On Modal Logics of Partial Recursive Functions
The classical propositional logic is known to be sound and complete with
respect to the set semantics that interprets connectives as set operations. The
paper extends propositional language by a new binary modality that corresponds
to partial recursive function type constructor under the above interpretation.
The cases of deterministic and non-deterministic functions are considered and
for both of them semantically complete modal logics are described and
decidability of these logics is established
Measurement of Lambda and Lambda-bar polarization in muon neutrino charged current interactions in NOMAD
The Lambda and Lambda-bar polarizations in muon neutrino charged current
interactions have been measured in the NOMAD experiment. The event sample (8087
reconstructed Lambda's and 649 Lambda-bar's) is more than an order of magnitude
larger than that of previous bubble chamber experiments, while the quality of
event reconstruction is comparable. For the Lambda hyperons we observe negative
polarization along the W-boson direction which is enhanced in the target
fragmentation region: Px(xF < 0) = -0.21 +- 0.04 (stat) +- 0.02 (sys). In the
current fragmentation region we find Px(xF > 0) = -0.09 +- 0.06 (stat) +-
0.03(sys). A significant transverse polarization (in the direction orthogonal
to the Lambda production plane) has been observed for the first time in a
neutrino experiment: Py = -0.22 +- 0.03 (stat) +- 0.01 (sys). The dependence of
the absolute value of Py on the Lambda transverse momentum with respect to the
hadronic jet direction is in qualitative agreement with the results from
unpolarized hadron-hadron experiments. The polarization vector of Lambda-bar
hyperons measured for the first time in neutrino interactions is found to be
consistent with zero.Comment: 5 pages, a contrubution to DIS2002 Conference, Cracow (April, 29 -
May, 4
Sterile Neutrino. A short introduction
This is a pedagogical introduction to the main concepts of the sterile
neutrino - a hypothetical particle, coined to resolve some anomalies in
neutrino data and retain consistency with observed widths of the and
bosons. We briefly review existing anomalies and the oscillation parameters
that best describe these data. We discuss in more detail how sterile neutrino
can be observed, as well as the consequences of its possible existence. In
particular, we pay attention to a possible loss of coherence in a model of
neutrino oscillations with sterile neutrinos, where this effect might be of a
major importance with respect to the 3 model. The current status of
searches for a sterile neutrino state is also briefly reviewed.Comment: contribution to VLVnT2018 Conferenc
- …