TY  - RPRT
TI  - On $Σ_1^1$-completeness of quasi-orders on $κ^κ$
AU  - Tapani Hyttinen
AU  - Vadim Kulikov
AU  - Miguel Moreno
PY  - 2019
UR  - https://arxiv.org/abs/1804.02213
ID  - 1804.02213
ER  -