...
机译:在可实现的模型中保留红衣主教和斑驳的引理弱形式
Institut de Mathematiques de Marseille Aix-Marseille Universite 163 Av.de Luminy 13009 Marseille France;
Institut de Mathematiques de Marseille Aix-Marseille Universite 163 Av.de Luminy 13009 Marseille France;
Classical realizability; set theory; axiom of choice;