TY  - RPRT
TI  - Solovay's completeness without fixed points
AU  - Fedor Pakhomov
PY  - 2017
UR  - https://arxiv.org/abs/1703.10262
ID  - 1703.10262
ER  -