Some Theoretical Aspects of Searches for Heavy Neutrino Emission in Kaon Decays

Abstract Searches for heavy neutrino emission in K + → e + νe and K + → μ + νµ decays have provided very powerful constraints on sterile neutrinos and their mixings. In this talk at Kaon-2022 we discuss theoretical aspects of these searches and remark on recent experimental progress.