Christian Rüede Universes in metapredicative analysis. 129-151 2003 42 Arch. Math. Log. 2 http://dx.doi.org/10.1007/s00153-002-0149-8 db/journals/aml/aml42.html#Ruede03