首页 | 本学科首页   官方微博 | 高级检索  
   检索      


On Consistent Subsets of Large Sets of Satisfiable Sentences
Authors:Stephen H Hechler
Institution:(1) Department of Mathematics Queens College, City University of New York, Flushing, NY, 11367
Abstract: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.
Keywords:delta sets  singular cardinals  propositional calculus  predicate calculus  satisfiability  consistency
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号