首页> 外文期刊>Mathematical logic quarterly: MLQ >Precisely controlling level by level behavior
【24h】

Precisely controlling level by level behavior

机译:按级别行为精确控制水平

获取原文
获取原文并翻译 | 示例
           

摘要

We construct four models containing one supercompact cardinal in which level by level equivalence between strong compactness and supercompactness and level by level inequivalence between strong compactness and supercompactness are precisely controlled at each non-supercompact measurable cardinal. In these models, no cardinal κ is <κ'-supercompact, where κ' is the least inaccessible cardinal greater than κ.
机译:我们构建了四种模型,其中包含一个超级算法的超级性质,其中,在每个非超级组分可测量的红衣主教中精确控制强大紧凑性和超级性能和水平之间的水平等效水平等效。 在这些模型中,没有红衣主教κ是<κ'-supercompact,其中κ'是最不可接受的Carninal大于κ。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号