I 0-公理下的Posner-Robinson定理,施翔晖,,本文从I0-公理的一个稍强的形式证明了在Vλ+l上的Posner-Robinson定理。准确地说,假设存在一个真初等嵌入j:L(Vλ+l)→ L(Vλ+l),其关键点cr