Solovay's Completeness Without Fixed Points.

Fedor Pakhomov

Browse the full WoLLIC paper archive.