Embedding sheaf models for set theory into boolean-valued permutation models with an interior operator.评价结果

评估详情