On Σ_1^1-completeness of quasi-orders on κ^κ - Tapani Hyttinen; Vadim Kulikov; Miguel Moreno (2018)