...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Studia Logica >On Consistent Subsets of Large Sets of Satisfiable Sentences
【24h】

On Consistent Subsets of Large Sets of Satisfiable Sentences

机译：关于大范围可满足句的一致子集

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We extend some results of Adam Kolany to show that large sets of satisfiable sentences generally contain equally large subsets of mutually consistent sentences. In particular, this is always true for sets of uncountable cofinality, and remains true for sets of denumerable cofinality if we put appropriate bounding conditions on the sentences. The results apply to both the propositional and the predicate calculus. To obtain these results, we use delta sets for regular cardinals, and, for singular cardinals, a generalization of delta sets. All of our results are theorems in ZFC.
机译：我们扩展了亚当·科拉尼（Adam Kolany）的一些结果，以显示可满足的句子的大集合通常包含相互一致的句子的同样大的子集。特别是，这对于不可数的协定性集总是正确的，并且如果我们在句子上加上适当的边界条件，那么对于可数的协定性集也是如此。结果适用于命题演算和谓词演算。为了获得这些结果，我们对常规基数使用增量集，对奇异基数使用增量集的泛化。我们所有的结果都是ZFC中的定理。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号