Lev D. Beklemishev Parameter Free Induction and Reflection. 103-113 1997 conf/kgc/1997 Kurt Gödel Colloquium db/conf/kgc/kgc97.html#Beklemishev97