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 $W$ and $Z$ 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$\nu$ model. The current status of searches for a sterile neutrino state is also briefly reviewed.Comment: contribution to VLVnT2018 Conferenc